-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 17 Jan 2010 17:57:33 +0100 Source: apron Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev Architecture: source i386 all Version: 0.9.10-4 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Samuel Mimram <smimram@debian.org> Description: libapron - Runtime libraries for APRON libapron-dev - An abstract interpretation library libapron-ocaml - Runtime libraries for APRON libapron-ocaml-dev - An abstract interpretation library Closes: 558838 Changes: apron (0.9.10-4) unstable; urgency=low . [ Mehdi Dogguy ] * Remove non-needed Provides for libapron-dev * Version the build dependency on quilt: >= 0.46-7 . [ Samuel Mimram ] * Added link patch in order to resolve symbols, closes: #558838. * Fix nonopt patch to build gmp.cmxa. * Added oct_static patch in order to install oct*.a. Checksums-Sha1: c8c3b155e6b0ef4c23e1df13dd1fa2cdc9c2be38 1406 apron_0.9.10-4.dsc 0b861ced67f58af28621b31037df3dc55d089087 7897 apron_0.9.10-4.diff.gz 1872480ada9e3c243fad1e8334579da5204ecfd9 706426 libapron_0.9.10-4_i386.deb daf6c92f50b25d333b59c812fd048d9531af4f3a 174406 libapron-dev_0.9.10-4_all.deb a5c400b4db6a9dcf2efd522fb194aba4626ccaec 73946 libapron-ocaml_0.9.10-4_i386.deb cce35f2c0727e646b105c5dd2f9adce37265c426 3128818 libapron-ocaml-dev_0.9.10-4_i386.deb Checksums-Sha256: 98632c5c2c14dc9a435fd0e7e2de9f24f76ce3b71fff86bacd40649237b8217c 1406 apron_0.9.10-4.dsc 45318bc2ab67d763f87a5ae642280a4735885c8dc8d68172cd6da868ff111980 7897 apron_0.9.10-4.diff.gz 44d9486d6575d3492027360a5524eb241872fcec3a2a265c908516692efd50c1 706426 libapron_0.9.10-4_i386.deb 4e044558ea87c9992e3b04c3a5536154ce9d250b39151488a104e929f3fb0375 174406 libapron-dev_0.9.10-4_all.deb f553c4a851f520b1d8b738fbbe12d995e1a70f8cf2e3ca8184f12b8618fa2844 73946 libapron-ocaml_0.9.10-4_i386.deb 8bacf85ff1b1c7f3f86045645813a466f4fede64cca72da22de605916e876a5c 3128818 libapron-ocaml-dev_0.9.10-4_i386.deb Files: e0571f190a9a0306838cbb3176a4c001 1406 libdevel optional apron_0.9.10-4.dsc 6d6fe752ca4925fbeef25dd10aaf93e0 7897 libdevel optional apron_0.9.10-4.diff.gz cccc0be91797931873970b63725e283e 706426 libs optional libapron_0.9.10-4_i386.deb d725512dc99c1ea06f9558f87a50b3f8 174406 libdevel optional libapron-dev_0.9.10-4_all.deb 93e7e9251f16905c22a07944d3f4574f 73946 ocaml optional libapron-ocaml_0.9.10-4_i386.deb 6784a6c6d4f1c38a7e3d91839f1ee89a 3128818 ocaml optional libapron-ocaml-dev_0.9.10-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAktTRKIACgkQIae1O4AJae8WrwCdHgJtIsL8vKpZpvMgQwwjexQq YMcAnR80eIUjIBOFeKBjdf4phkRxFcKY =fqbF -----END PGP SIGNATURE----- Accepted: apron_0.9.10-4.diff.gz to main/a/apron/apron_0.9.10-4.diff.gz apron_0.9.10-4.dsc to main/a/apron/apron_0.9.10-4.dsc libapron-dev_0.9.10-4_all.deb to main/a/apron/libapron-dev_0.9.10-4_all.deb libapron-ocaml-dev_0.9.10-4_i386.deb to main/a/apron/libapron-ocaml-dev_0.9.10-4_i386.deb libapron-ocaml_0.9.10-4_i386.deb to main/a/apron/libapron-ocaml_0.9.10-4_i386.deb libapron_0.9.10-4_i386.deb to main/a/apron/libapron_0.9.10-4_i386.deb
