-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 19 Jul 2010 13:22:45 +0200 Source: apron Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev Architecture: source amd64 all Version: 0.9.10-5 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@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: 589359 Changes: apron (0.9.10-5) unstable; urgency=low . * Add mpfr_random.diff and rounding_modes.diff (Closes: #589359) * debian/control: - add myself to Uploaders - bump Standards-Version to 3.9.0 * Install upstream changelog * Switch source package format to 3.0 (quilt) Checksums-Sha1: 05256ddd1afb409545e2cc1d3ade45d769d9d25d 2102 apron_0.9.10-5.dsc cf01d4de75962d9640296117e7faac6d8de3e961 10196 apron_0.9.10-5.debian.tar.gz e74b43818de51f92247ad166e77fb5acd8efff84 684316 libapron_0.9.10-5_amd64.deb 9b49c2dec4b0f52fd7c31a42db6c74f6659d2eb9 192314 libapron-dev_0.9.10-5_all.deb 0bfe1db65197189b0f69f1148afeb5d7d5d15862 88088 libapron-ocaml_0.9.10-5_amd64.deb 997f41060ecc8ff82e26d99a1a5ebdbd9412aa02 3373310 libapron-ocaml-dev_0.9.10-5_amd64.deb Checksums-Sha256: 64b8b17bcb292c094c8b77ea5a27d1086b764e859a99f80e45f265915e31b768 2102 apron_0.9.10-5.dsc 9662362c013136fd2311650bd809d366948ea76157a3c021a5c9a3d8aea22fb9 10196 apron_0.9.10-5.debian.tar.gz 5231869991a794d96df8cdb116621ff1704bfe18e7257cb82814d5bfc1ff61ef 684316 libapron_0.9.10-5_amd64.deb ede47835cc9a07b3e22a65043c35fef278c906de40c48b30759bd539285db156 192314 libapron-dev_0.9.10-5_all.deb 88c954ffba60af4cfb2028ddbab66d56934fd7ce5e7180d4888d1cd576506b6a 88088 libapron-ocaml_0.9.10-5_amd64.deb 7b434f53b9b8796c8768b052e076b2b5f5513d041a52e9dd3bad3a23a816ec66 3373310 libapron-ocaml-dev_0.9.10-5_amd64.deb Files: 5879eb47b864a915dc61fc1135e464f3 2102 libdevel optional apron_0.9.10-5.dsc 7a2543407bcf11b323ec0acf90c24dd4 10196 libdevel optional apron_0.9.10-5.debian.tar.gz f5960addfbcc2e652e25728ded90b9b2 684316 libs optional libapron_0.9.10-5_amd64.deb b5f3e954e68ff4bc5f2204d309679f0b 192314 libdevel optional libapron-dev_0.9.10-5_all.deb 291f7bc38e486183b71c484765d717cc 88088 ocaml optional libapron-ocaml_0.9.10-5_amd64.deb 4f3de38cae3c9f7a55829c300a5d3c2c 3373310 ocaml optional libapron-ocaml-dev_0.9.10-5_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iQIcBAEBCgAGBQJMRDlQAAoJEHhT2k1JiBrTT9YP/0kZ2Gaf4xWcNgGWdPjRXHi+ a3X1dJAD1f1NWlV3vt94WtZw+lO08FnDdUgIt+wbztHCO0anvlOooyg/bwF9nJHG 3IhGd5uQwQR4uLne2ONeYjyNH3Mj6uxPSFHdjB3t/WM460P4N3Bw1dbGf68krMia kkzS26WEAg/C772y63NZaSpeiOYrVRZnE+w2LGQvp6T3REs88I2qU4iQzLc//Qow fzJCeG2th2SsuCXoAXYeWz2KWEKDcB/ehed0jiSfrjtgl3LJ5772oj2xfnywTzrI 462xKyUdQt+N4TVMaqQ7rz5WqNLgDuFH+o5jTdBagVicouroY/8oDjJMMKo5F1ay EicQdyVgh3KBjmIhuhb/9/BSNa9xYlKYgKjKeiRG6wxy4u/TvdV2ySOWfL7ysPtc dBqaSuNMliy9wGhlewoxF7kncAZERaT/xfvR4uAa0B8TIQnsWG1WJRlqsk9SnZq1 bJGgyCi2ptB/T+r5/0kNWwLLEg6SU3wHbT1dA87bzIJ61bNx2gUIyU8QxSjDy409 4oXfPW1e9PTm06iLrknDa1Oq/SpmuU+3znQzTpajeZc/65+0TJzjBZLUT1Ozu3M0 86rI8F56XthfkYF+IF4Gqms3dfDwN0NjXx8jqNGqySOmAiYF1sW4aJZPiIPMJQ0K AEBza9nORckF13DD9sK4 =MjUR -----END PGP SIGNATURE----- Accepted: apron_0.9.10-5.debian.tar.gz to main/a/apron/apron_0.9.10-5.debian.tar.gz apron_0.9.10-5.dsc to main/a/apron/apron_0.9.10-5.dsc libapron-dev_0.9.10-5_all.deb to main/a/apron/libapron-dev_0.9.10-5_all.deb libapron-ocaml-dev_0.9.10-5_amd64.deb to main/a/apron/libapron-ocaml-dev_0.9.10-5_amd64.deb libapron-ocaml_0.9.10-5_amd64.deb to main/a/apron/libapron-ocaml_0.9.10-5_amd64.deb libapron_0.9.10-5_amd64.deb to main/a/apron/libapron_0.9.10-5_amd64.deb
