-----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
