Accepted aac-tactics 0.2.pl2-3 (source all amd64)
-----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