-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sun, 01 Apr 2012 17:19:08 +0200 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source amd64 all Version: 0.2.pl2-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Description: libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories) libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin) libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files) Changes: aac-tactics (0.2.pl2-6) unstable; urgency=medium . * Recompile with camlp5 6.05 and coq 8.3pl4 (no changes) Checksums-Sha1: 0b77e495c1f63e8427ecbded08e4290cec88700b 2218 aac-tactics_0.2.pl2-6.dsc 52bf578e0d583aca9ce52d03c57131a604e3ba49 2720 aac-tactics_0.2.pl2-6.debian.tar.gz b920e41d5f54fc26ba34342521d48db738068265 145246 libaac-tactics-ocaml_0.2.pl2-6_amd64.deb 5fc0573e717b409f437c8803cf12ece933c20636 132974 libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb d96ebca9f4d070165ed43f271da37269ba8b1de4 320704 libaac-tactics-coq_0.2.pl2-6_all.deb Checksums-Sha256: 28819911fc5106785ac98989329d810b5b294dd1102b8899571747cb61b9de8f 2218 aac-tactics_0.2.pl2-6.dsc 66f99af94bb029f13cda96c91ad14483c90b2dfedf9692458c8b5d8a0c8043fb 2720 aac-tactics_0.2.pl2-6.debian.tar.gz c849b221b619bc6aa761055e69ecaca9e7122093bed6a9c4156f76eb8a372dc7 145246 libaac-tactics-ocaml_0.2.pl2-6_amd64.deb 6e26fb13f600ae615c78faf1526cad7ae0e0cd069549345499999e6f7b28fe00 132974 libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb 4d067389a5754a4431dae892eddfa1451e8a8b17510f76403710c672e268842b 320704 libaac-tactics-coq_0.2.pl2-6_all.deb Files: 235688e68c0e5bf463889916ac626019 2218 math optional aac-tactics_0.2.pl2-6.dsc 61f1d5c6cafe83d5b0b12438001f4412 2720 math optional aac-tactics_0.2.pl2-6.debian.tar.gz 8c837ab80d7900af77f9c86aff6430fd 145246 ocaml optional libaac-tactics-ocaml_0.2.pl2-6_amd64.deb d991c055cdb6d568e08a48dd3027a004 132974 ocaml optional libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb 582ee85e0a9475f4a9bdd35709f2ec83 320704 math optional libaac-tactics-coq_0.2.pl2-6_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBCgAGBQJPeHQSAAoJEHhT2k1JiBrTaPgP/2Ryi0PvBHxNj9fo0rGdcR6R 10qbyYZFxpXXe5yhbgmK3GpR6fKQhRi9gK2KYWupSpkfJnotjLwc1bPw+5ryp/aR eCFZWCFZzu9c2c1B9Oi1YlBiWL7/AY7hsbOopZl0mgnrPhLCMz394L8v89hGQiNZ DjKAUgMVSaoZp9z9FQWL6u8ewRmdjdU9nyOn2XTX8GmBWnvK5b15fj4P+2Cu5Rz/ 6uln/1fh8+zW9Sggg8w9RzvmnFTW6er5z8KRqRFkedbpNMZ3rkRouZHzmWO/K/G9 PJd/sDW3baf4HXrTi7ZitkX2ir7GfHtNpNE/ay6yJHgoSBWo1y82kC3AmC3Zqzo3 6keGlGylKD6yNUDwGJjSCI7VtAdoq7WHIJjxcb4o3yjUUT/6E/UyT+7vtG4XK2mD Qzu71Vc22sAcMpRxT9j3PPk1dj0b9nv02S1e3Wkv8ucnyXJxf+w83xSjS4Dk4oG1 M8DVOxWWZoTEjfRgu6lgHV5/GH04xlbtnzvJzeali0tpIdxcA1EpK2OMAKVt7fun 6ruhx1DfxGB0Hj2w7XnhfWXQX2jmPMASTllQZTeXf1imLKEWc0vuUoWwZ8NnlqfQ rcsHvS8A7PmXlSLDshYL218R2htkzJ0Eb1izzADvoSw4cCMgP/RNutUcZuladLdx nVHZV4SHTuwYAFv/yb39 =BroC -----END PGP SIGNATURE----- Accepted: aac-tactics_0.2.pl2-6.debian.tar.gz to main/a/aac-tactics/aac-tactics_0.2.pl2-6.debian.tar.gz aac-tactics_0.2.pl2-6.dsc to main/a/aac-tactics/aac-tactics_0.2.pl2-6.dsc libaac-tactics-coq_0.2.pl2-6_all.deb to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-6_all.deb libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-6_amd64.deb libaac-tactics-ocaml_0.2.pl2-6_amd64.deb to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-6_amd64.deb