-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 29 Oct 2009 21:58:00 +0100 Source: apron Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev Architecture: source i386 all Version: 0.9.10-2 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 Changes: apron (0.9.10-2) unstable; urgency=low . * Enable PPL support. * Add nonopt patch in order to be able to build on non-native archs. Checksums-Sha1: a39b4ffc3f08b76316a2b9612a258cd1b0772ed3 1418 apron_0.9.10-2.dsc 593a78d85909e7be83e20d580ba94b6b38135a99 7294 apron_0.9.10-2.diff.gz 1f04ee51a8e77c41076efd3d21b2dfd69c5a0cb8 705900 libapron_0.9.10-2_i386.deb 0abdecfe9278c91476d2369b316d42e347fbf94c 174108 libapron-dev_0.9.10-2_all.deb 4357c754d35448b46384d62b7599b0d6f7f4ade8 73732 libapron-ocaml_0.9.10-2_i386.deb f72ccd534a273eedb66865fcb389da932e4cdd91 3103220 libapron-ocaml-dev_0.9.10-2_i386.deb Checksums-Sha256: 53317d35c7a2b65601ffc55927d5a9168427c709ba9b0a0af6fcae00f5b62bd1 1418 apron_0.9.10-2.dsc e84c844f33c7c0c543bf720ca2052ff9f2f22ddeb575f1478fa6292f10782567 7294 apron_0.9.10-2.diff.gz 2813c6efc30e59a34130aca8f5a4e0f30bc85c226bb7ca5888d3a1f621614dc1 705900 libapron_0.9.10-2_i386.deb fe5371409c3bbdd353356e2629d1724aecc80e69b0eeb2fdc9319915a2f1220e 174108 libapron-dev_0.9.10-2_all.deb 83e7b261103e01e27bcd95bcb350ac3445849bba736337af08679b7e18efeb1f 73732 libapron-ocaml_0.9.10-2_i386.deb c0aa9b0481807015c958c0b651b2c072992333b9e60c389eb479da8495eb0c48 3103220 libapron-ocaml-dev_0.9.10-2_i386.deb Files: 5bcc2d75b7275b0c9c4d6d14468ade55 1418 libdevel optional apron_0.9.10-2.dsc bcf405393553a008b489de6cc482f25f 7294 libdevel optional apron_0.9.10-2.diff.gz cebf92f6cbb8dc3e98d22faaa78a9efc 705900 libs optional libapron_0.9.10-2_i386.deb 84154f712cf14035671da7edccbcc4d5 174108 libdevel optional libapron-dev_0.9.10-2_all.deb 83925df8194b13ed471e5fb13f73a8b7 73732 ocaml optional libapron-ocaml_0.9.10-2_i386.deb 5d8d6db8181e33f16c1ee77f4cec3852 3103220 ocaml optional libapron-ocaml-dev_0.9.10-2_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAksB3C8ACgkQIae1O4AJae8o/gCdHbiqDKZyda06Np2jelW/8R0c tywAn3vNqk7S7Ni21y/lEriPYQzYO5YO =VzHE -----END PGP SIGNATURE----- Accepted: apron_0.9.10-2.diff.gz to main/a/apron/apron_0.9.10-2.diff.gz apron_0.9.10-2.dsc to main/a/apron/apron_0.9.10-2.dsc libapron-dev_0.9.10-2_all.deb to main/a/apron/libapron-dev_0.9.10-2_all.deb libapron-ocaml-dev_0.9.10-2_i386.deb to main/a/apron/libapron-ocaml-dev_0.9.10-2_i386.deb libapron-ocaml_0.9.10-2_i386.deb to main/a/apron/libapron-ocaml_0.9.10-2_i386.deb libapron_0.9.10-2_i386.deb to main/a/apron/libapron_0.9.10-2_i386.deb
