-----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-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1s4f2y-0005or...@franck.debian.org