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