-----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
