-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 03 Nov 2011 06:41:57 +0100 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source amd64 all Version: 0.2.pl2-3 Distribution: unstable Urgency: low 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-3) unstable; urgency=low . * Recompile with OCaml 3.12.1 (no changes) * Bump Standards-Version to 3.9.2 (no changes) Checksums-Sha1: 0abba6430389addf668fe6ba5c03d9c084e36a36 2218 aac-tactics_0.2.pl2-3.dsc 246c300918e4b650fcc002dc3a3ec3610028b77d 2526 aac-tactics_0.2.pl2-3.debian.tar.gz d608d2f4807e7e2ceadd5c1594f18d8482c87adb 144816 libaac-tactics-ocaml_0.2.pl2-3_amd64.deb 4a6199a55ad63bf4162b97786c060f4d29bd0204 132656 libaac-tactics-ocaml-dev_0.2.pl2-3_amd64.deb 318a002aa8bac4e2d474d3e0ebd7d48b2f844c8b 308954 libaac-tactics-coq_0.2.pl2-3_all.deb Checksums-Sha256: 379115f9579d351a1e65e522f7adfe05f2dc78fd7bc088067793f5a870e8724d 2218 aac-tactics_0.2.pl2-3.dsc 35170518ce73d3aebee1d9e8d88e92f7ee6cf80b66eb1450c07e8e276e841281 2526 aac-tactics_0.2.pl2-3.debian.tar.gz 4f23f4f484e38ec4d0408ad2a6ee43553c5e7c588b369b5f91e1dac163e9ac6b 144816 libaac-tactics-ocaml_0.2.pl2-3_amd64.deb fa939f0eef14fd680247c3493bddeb680565997bd8e8c11352bf3941fe8e5578 132656 libaac-tactics-ocaml-dev_0.2.pl2-3_amd64.deb 9e5d6206fd6755c019b2956177314d6eadf1388c5b4e59ec3df12452f007554c 308954 libaac-tactics-coq_0.2.pl2-3_all.deb Files: 94f07bf5205e776698dbe0988ac4aa3e 2218 math optional aac-tactics_0.2.pl2-3.dsc d282dc05d631daef365072b62b37d90d 2526 math optional aac-tactics_0.2.pl2-3.debian.tar.gz 8a155a7806297ccff62653a26c3c8988 144816 ocaml optional libaac-tactics-ocaml_0.2.pl2-3_amd64.deb bf7f3cde5f8709a31d41af559192805a 132656 ocaml optional libaac-tactics-ocaml-dev_0.2.pl2-3_amd64.deb 14c6e354f46e56d417a5229e2e8b4cad 308954 math optional libaac-tactics-coq_0.2.pl2-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJOsitmAAoJEHhT2k1JiBrT2NQQALMgkH5ySew83X/uddGHUfmM Lq7S97vA6vTwIt/OBs4O8NAlvcPhpqActGAvYxT/ntt35Dj8EvobZve4eukM7zkc 5qvoMeROMmU1le6Zv2yW9G9Hr64aE3vqLjxpdtne17SVv3u1xQzzLHnFJA+PJSIw dYfoPwir5K3911nh3ITI20HNfF3zug9MVx8qlwm/PPW25OPiPrgSTECdf3lBJLYz FlHQVoVxpv0HVLPFxkur8Z1uUmvBr5T4YfAgbSnWHHtuXpTimnwtDFfVF/QzwmTR mqMYwGxdPF91NENp4+6Hc6VXFAxpxecy9g+nuuUSMLIQAep6DNRDA84VOD7LYSeZ 1p7wwUI7wzfFO10Enz0Mk6wrwbTL6MAwWNCkya8ub4WgyWe/ZpZEK47Inzkd5Lym 6DH5rM7OutdwA811ZbF/B7lVHIF4xfrJw4/NuMjpqbliTgtKampniROZII+WvvTz /3QAvqBlO99ARnGDhxwh6F/IrA/ymVZbm8qWNIHdgyqEKxgeyYDdAgeIM5lj9yV4 NHYOWVtW4qkJPU2Lwk0rQW+OUifDuSDEdkUj4Wcw/oBGboj15RSWC8oWlxDytHxv GsRqwy4zqxi967RbSfqPFgvU3gL6PDP+4vf9cILTuGVIpphzbRidh9WQE3lwimvv 75JAnxXJNzXTwu+7xuin =Vg45 -----END PGP SIGNATURE----- Accepted: aac-tactics_0.2.pl2-3.debian.tar.gz to main/a/aac-tactics/aac-tactics_0.2.pl2-3.debian.tar.gz aac-tactics_0.2.pl2-3.dsc to main/a/aac-tactics/aac-tactics_0.2.pl2-3.dsc libaac-tactics-coq_0.2.pl2-3_all.deb to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-3_all.deb libaac-tactics-ocaml-dev_0.2.pl2-3_amd64.deb to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-3_amd64.deb libaac-tactics-ocaml_0.2.pl2-3_amd64.deb to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-3_amd64.deb