Accepted apron 0.9.10-5.1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Sun, 10 Apr 2011 01:22:13 +0000
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source amd64 all
Version: 0.9.10-5.1
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Steve Langasek <vorlon@debian.org>
Description:
libapron - runtime libraries for APRON
libapron-dev - an abstract interpretation library
libapron-ocaml - runtime libraries for APRON (OCaml interface)
libapron-ocaml-dev - an abstract interpretation library (OCaml interface)
Closes: 620716
Changes:
apron (0.9.10-5.1) unstable; urgency=low
.
* Non-maintainer upload.
* Build-depend on the libppl-dev virtual package instead of libppl0.10-dev,
since this latter package is no longer available in unstable and apron
now fails to build. Closes: #620716.
Checksums-Sha1:
d0aacb711d82b80d39e35452f25a123354ed86e0 2098 apron_0.9.10-5.1.dsc
74a57b78f75423df58dd2df1d9e61e364b3a5da9 10744 apron_0.9.10-5.1.debian.tar.gz
a9ddae6d5942110f5964226e1f681bd16675d8da 710062 libapron_0.9.10-5.1_amd64.deb
ab2cd844a0f95c3d659cb8cb988a532d8ed0ee17 197168 libapron-dev_0.9.10-5.1_all.deb
92007e154bbd983b08acfe9df3091c7ffb600ca7 91340 libapron-ocaml_0.9.10-5.1_amd64.deb
156c850029da8b3beba64e2f239a3b5cad3c6f36 3480230 libapron-ocaml-dev_0.9.10-5.1_amd64.deb
Checksums-Sha256:
bca933242d7452fe399c58af078c3774112954e1264db65ffced2fd7cbf5ede5 2098 apron_0.9.10-5.1.dsc
f12f7a149353015e0de28719adad79a5a2bbee5b8605f7c50410e76a007b6327 10744 apron_0.9.10-5.1.debian.tar.gz
68a5e935ea0777f322e3c95f3d75cbea69263f6205ff3b620c1be4238df3b81f 710062 libapron_0.9.10-5.1_amd64.deb
bef2743e51d68f5bc29f4da8061c3c034eb34f5f705352dfc8c9352a517a681a 197168 libapron-dev_0.9.10-5.1_all.deb
8ffb4e1c34304d8b780d82d14d9f8ee5c8571913243bbd9400ac341edcd16e5b 91340 libapron-ocaml_0.9.10-5.1_amd64.deb
2f1682c4b322cf61816fd26899e8fd6bd225613eabae79bcecafbb1a6cc18467 3480230 libapron-ocaml-dev_0.9.10-5.1_amd64.deb
Files:
5a6210497b8f1128ce3d737bef140ca8 2098 libdevel optional apron_0.9.10-5.1.dsc
6072d40c842f7b7863cf6c527cc8c8a1 10744 libdevel optional apron_0.9.10-5.1.debian.tar.gz
fd9148e68fbcca2126f6f182d0ecee89 710062 libs optional libapron_0.9.10-5.1_amd64.deb
399fc11a7c5d72e1e5b5c143a89b9b8d 197168 libdevel optional libapron-dev_0.9.10-5.1_all.deb
90fa0ce5e597ac12884b6069dad3b905 91340 ocaml optional libapron-ocaml_0.9.10-5.1_amd64.deb
164e47802e27888583e10f05cb11d82e 3480230 ocaml optional libapron-ocaml-dev_0.9.10-5.1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIVAwUBTaEIw1aNMPMhshM9AQhJgxAAsh8dTNp55eRDxt/sl8HiQgMkJXiyHqz/
d1p8SrrhpBJiF3wu1UuwxKmMTKCoc47qmBmgUm8Uk0ZhwGAVLMCns6ywUs3wpojX
brUrWnLpXfA9ewXkNwaJA+Jp732B3nplKlv0lBMoJBJo5UKFQWGOpemsumn7V9NQ
xMwFQBTE7hbppKiE/Ligf3U9aCnhDbJeIzat4CC1q0O6owruJTSDsId5fvasaWO4
84G9Rhyrr/samyJ1egH9FmTfYI5ffz1xoEAzfjXyQimqFE7twePUH0+pbq7bJzxm
wuy00dmbPQw17Odu317rV/LhzljWrcxa2uuFcdbxLomIIgZcCozWfi2Aapcg6ODU
1UgXHWNirWAS7UAqDbfPSsDJ/exaaXCctgiJB+A8gthRBqUkJVLk/JXYMh/Jk27e
0T4i72IDjAa59OxKSdHyYABHs9DnVrOQdITwgTEbPaevci5v/nAkaDnoye1OM8nN
bbHWlnkJsXXoL5ZJ7a4OAiDz1rdcIVoZGpErQN74E3jMWN52q6/SQF0OJ7ogeZwT
mQnXCyof1lNsPsfGdiGQCd37k84Id0CB3MNhTGNo1emCV0VYQLcWHk004v/p6ZzA
m/BHqVJygt1vduRGlEu1XOp/fJ+cXCneoWV7nSW2YCIS6RbKAWgaxX+Iq0xsQ666
LOtUgYsycyA=
=EH/y
-----END PGP SIGNATURE-----
Accepted:
apron_0.9.10-5.1.debian.tar.gz
to main/a/apron/apron_0.9.10-5.1.debian.tar.gz
apron_0.9.10-5.1.dsc
to main/a/apron/apron_0.9.10-5.1.dsc
libapron-dev_0.9.10-5.1_all.deb
to main/a/apron/libapron-dev_0.9.10-5.1_all.deb
libapron-ocaml-dev_0.9.10-5.1_amd64.deb
to main/a/apron/libapron-ocaml-dev_0.9.10-5.1_amd64.deb
libapron-ocaml_0.9.10-5.1_amd64.deb
to main/a/apron/libapron-ocaml_0.9.10-5.1_amd64.deb
libapron_0.9.10-5.1_amd64.deb
to main/a/apron/libapron_0.9.10-5.1_amd64.deb