Accepted aac-tactics 0.2.pl2-7 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 09 Jun 2012 10:31:21 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source amd64 all
Version: 0.2.pl2-7
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-7) unstable; urgency=low
.
* Recompile with camlp5 6.06 (no changes)
Checksums-Sha1:
96436ca31dde1d8d1b04be18db5c2b8433bca93d 2218 aac-tactics_0.2.pl2-7.dsc
61f69736dcc88a530a05662f370ee299d7cd64b4 2746 aac-tactics_0.2.pl2-7.debian.tar.gz
463a6e50fc265a94dbc69d23056b19647c2907d7 145306 libaac-tactics-ocaml_0.2.pl2-7_amd64.deb
520825520c46a05ca036984330d3630a3c54e719 132996 libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb
ab3587301015e7df69abecbda02eedafda232bec 320756 libaac-tactics-coq_0.2.pl2-7_all.deb
Checksums-Sha256:
6e22e366fb9f9c68bcdc7cea36073d2c185113dd1db74ea28d688ff7b6e56960 2218 aac-tactics_0.2.pl2-7.dsc
b443a4d7e21a947ebbc19e5b753d9b9417b3060e801d81db4787f91665a89a63 2746 aac-tactics_0.2.pl2-7.debian.tar.gz
852260ebe6e4e94de2eb467c15e132d8dace00780c5ab222105007bcf800ab72 145306 libaac-tactics-ocaml_0.2.pl2-7_amd64.deb
b61f9f7832727a2b7ca83b342f73d6f2bb3b512351752517c28b8f462de799dd 132996 libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb
a08e22c0b660f3102b51dea9b6ae7b1d90a3b31528247a2493681b55e00b5db0 320756 libaac-tactics-coq_0.2.pl2-7_all.deb
Files:
3bf022ab39c57e22f902e713e9e39da5 2218 math optional aac-tactics_0.2.pl2-7.dsc
715fca2295c2106c644ac9a405fe3824 2746 math optional aac-tactics_0.2.pl2-7.debian.tar.gz
3459528750be6339f90e5b414da56397 145306 ocaml optional libaac-tactics-ocaml_0.2.pl2-7_amd64.deb
332e92f8aa16dc786ca57d424d73aab4 132996 ocaml optional libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb
6f21314fa0b532ff876ee735bfac8827 320756 math optional libaac-tactics-coq_0.2.pl2-7_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJP0wrjAAoJEHhT2k1JiBrTKuUP/2rvV7pdS36neToa2FNqBpq1
ek6r/0XoYtzMUUkRHLhCVESL1ZQMZTlw9MIXNHdEhr0CWeZBjijbaK91gQl5t/hW
C3N4gVzoMN3DsdrpLkxcwvFK8byUISYr0J2sURCcgrBmwriCQZvVDdVOCjWYR7nf
gbzLMzbMvfKDe0yup7bf46LjUoOQPFRmH6KVOni26kIm0Nd714PzOWvMWD/YukaT
bTgQNghUWtmxFosW2xM6sO/JoUtCl59GGMNp6YmsEIjwvmTe8KIwRMJiPYHJ9zJO
pg11Iu8w3PQR3RJKv22QbwFqoIKdBj6kXKrjyYZIRHkpvtj7Q5AjQ9ElUhoh2MyY
dC4x6WdFwPRJh+EaoUct1+flgeuohuv4YlJcbUkmQxR8NXeZXX9TtqVMjVNv+oPp
xDefGgo0ThHCEBSyNc5k4fiCKo5qdR6mdXcDhPFtDpuF6e4lc0iFafDKCFpA6NFZ
+YLp7cQkAx0i2KAUCx7/FfteLs3vTQ+1LQZ2+KSwAWT/PogpvnxuxAhk3J22KVPY
cbKynJu4/rqSJT2jc0IB4clofTbEPHH4b0cRsS2L8mVE1PCET72naUPLjO50JShR
K4jjLxmHrLd6mwVT25xKoZyiKBwchj8py3QYIovGZfH72Nx3QijezdJfO1/sYFiq
PoHwGV27gPynLBmYr0Oq
=pjam
-----END PGP SIGNATURE-----
Accepted:
aac-tactics_0.2.pl2-7.debian.tar.gz
to main/a/aac-tactics/aac-tactics_0.2.pl2-7.debian.tar.gz
aac-tactics_0.2.pl2-7.dsc
to main/a/aac-tactics/aac-tactics_0.2.pl2-7.dsc
libaac-tactics-coq_0.2.pl2-7_all.deb
to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-7_all.deb
libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-7_amd64.deb
libaac-tactics-ocaml_0.2.pl2-7_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-7_amd64.deb