Accepted aac-tactics 0.2.pl2-5 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Mar 2012 21:51:05 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source amd64 all
Version: 0.2.pl2-5
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-5) unstable; urgency=low
.
* Recompile with camlp5 6.04 (no changes)
Checksums-Sha1:
e452fdfa8e8bac01ad7ac3312b239073d5b02181 2218 aac-tactics_0.2.pl2-5.dsc
8b5fdf1b773870156ca6dfcf74aa3304c967fcc5 2683 aac-tactics_0.2.pl2-5.debian.tar.gz
4ccc3fa7d5d09e7e8f27614765bbfc82ccd85c7c 144972 libaac-tactics-ocaml_0.2.pl2-5_amd64.deb
ded784a25a6505e6578c78837d75061a10462525 132776 libaac-tactics-ocaml-dev_0.2.pl2-5_amd64.deb
75e68b0d48b6ed24516ab31cd5f3c523f4f9c158 320206 libaac-tactics-coq_0.2.pl2-5_all.deb
Checksums-Sha256:
1f30bc64722363193f8cc6e440d050ed1044a2bf350cd27a48dfa3f586a2d932 2218 aac-tactics_0.2.pl2-5.dsc
e590c680d7306cdadc8675ed333921bdb23cb94447be5e065f240162701b5a69 2683 aac-tactics_0.2.pl2-5.debian.tar.gz
0221ca0d1d874da61b46b58ae3b384d2cdf07dfc1703127c4cc9af4bb9a6f22f 144972 libaac-tactics-ocaml_0.2.pl2-5_amd64.deb
7b64073b5840573b99c17eb370080c8cbd30723ed7ac5f090126f9091bc47a4f 132776 libaac-tactics-ocaml-dev_0.2.pl2-5_amd64.deb
a715f05fd8ffd899cbbe982881bf4a0a284b724fa0e49c3e60ffa7399299619a 320206 libaac-tactics-coq_0.2.pl2-5_all.deb
Files:
6dbf571512f543b004e794d86b194f5f 2218 math optional aac-tactics_0.2.pl2-5.dsc
61df766104af67fcf8b38e07b6abc3fd 2683 math optional aac-tactics_0.2.pl2-5.debian.tar.gz
c022af00782376633dfddc6e3cb1f501 144972 ocaml optional libaac-tactics-ocaml_0.2.pl2-5_amd64.deb
599bcf788563a431eae4f1aac72ecb4d 132776 ocaml optional libaac-tactics-ocaml-dev_0.2.pl2-5_amd64.deb
7a5f0428eeeed42f3ceb319c52d90b00 320206 math optional libaac-tactics-coq_0.2.pl2-5_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJPVSmNAAoJEHhT2k1JiBrTbi4QAJwcBmfvR3+4LYyLUFmIcy6W
upOisAdMcqo4IutLGJiknK5yYWUA4Fth8AKr3ksZ393/QAEgBjDJyiOyKrEU8Z9t
8yY5uT6fxR39l+Etm9RVClfYPRPdcTDsjALmdwVUxWlQWitiIroo3/11ECYM0FtX
9LF/TiSwie+dWF1ngL4/PQ5VWeWQ036zke6B4riesEi0MD7xd4gx11t5+zXsiRYb
3SD5ujPEoJP4lZNc+SZMMv+b4rvvGfEDWOJv2jcOkHk73GuhbCJZo6VA061mosZ8
l83Gw9nRuDOKqwKoqVCTMGa5iYKVyD44QhbZXnYC3A0f9hBt+CHJaDAEx3S5xX/c
/jOVgJmLbnN7sQbp1Y6tmYKKvWD/eBqKtkzfekU906RVsAAXTpyXjZqt9u9uY3QB
lI82Y2ctKX2Xl6W9AFmWNAMig0486iicyTwY/SiuoRX16YVMZaAps3Hho8KVodUr
v00xsh5teLUQqF6LzJlEMwRCnMqADQm1NC9pbGF2q5hChPbve9y4MsO8hk6kU7Ku
kbLYzZ8BG3+4iht5GzoWQb9SLOxjIt0st/AtWxbKPZMn2xGUAJsecxHd1n8pC47c
QGb1q091qiSVTL83FppCY8vjEaywor4LbAoinr5WPlnQJWRtTFx7XcgX7Lgjo8lC
h7y0uKa7N96jnEgraZzy
=PIkg
-----END PGP SIGNATURE-----
Accepted:
aac-tactics_0.2.pl2-5.debian.tar.gz
to main/a/aac-tactics/aac-tactics_0.2.pl2-5.debian.tar.gz
aac-tactics_0.2.pl2-5.dsc
to main/a/aac-tactics/aac-tactics_0.2.pl2-5.dsc
libaac-tactics-coq_0.2.pl2-5_all.deb
to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-5_all.deb
libaac-tactics-ocaml-dev_0.2.pl2-5_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-5_amd64.deb
libaac-tactics-ocaml_0.2.pl2-5_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-5_amd64.deb