-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 05 Dec 2013 07:56:39 +0100 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source amd64 all Version: 0.4-1 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.4-1) unstable; urgency=low . * New upstream release Checksums-Sha1: 134704f282dda3a34b046b8efe5e2f35e6c38b74 2197 aac-tactics_0.4-1.dsc b01df835b1f47b4465b8e4d595f40ee336564779 77336 aac-tactics_0.4.orig.tar.gz bd0b8cc2e542f7003d827a05190becdea1faac72 3058 aac-tactics_0.4-1.debian.tar.gz a5dc31175602be1da58caf1e27e0022e6cc3df47 128534 libaac-tactics-ocaml_0.4-1_amd64.deb 531c48000e49cdb191c190f684cff9cbce0fc11c 44688 libaac-tactics-ocaml-dev_0.4-1_amd64.deb e92a1631e1bf358358b7c4a6b7db066f91da103c 213752 libaac-tactics-coq_0.4-1_all.deb Checksums-Sha256: 9e02fc2b2ded1e062a6bb88c80c1f34ad8cafc8ac6cbaf4474ad913859f7bf5a 2197 aac-tactics_0.4-1.dsc 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz 544ef31e2129ae6bdecf0f526526686df10b51272e9416d41bdba75994e27cbb 3058 aac-tactics_0.4-1.debian.tar.gz 1e301f2b08958c4f6ad0fc43e41a0c4a450b91628257a74f11cf82f1d3c361e0 128534 libaac-tactics-ocaml_0.4-1_amd64.deb 70e597da76a6410c2a843455f43d6725606b322be2902a94e963ed97d0735e84 44688 libaac-tactics-ocaml-dev_0.4-1_amd64.deb 7998ac46d9c5de1c93c0a3862711f97f9415c8aef4eeb20e1ca5a812c5f85d66 213752 libaac-tactics-coq_0.4-1_all.deb Files: ff3aef36f2c8a43b173fe7809af51ce9 2197 math optional aac-tactics_0.4-1.dsc 6ea20f8288d6870d3baba0b5c940a9d4 77336 math optional aac-tactics_0.4.orig.tar.gz aadcd8814fad468525d520ac1f31ef6b 3058 math optional aac-tactics_0.4-1.debian.tar.gz 0fa723f479110ac3b4e63060e946cbeb 128534 ocaml optional libaac-tactics-ocaml_0.4-1_amd64.deb d8d7bfef96d4de74155948ddea42e8d6 44688 ocaml optional libaac-tactics-ocaml-dev_0.4-1_amd64.deb 071c6b831793d054fa1c6f2c9c9c985d 213752 math optional libaac-tactics-coq_0.4-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.15 (GNU/Linux) iQIcBAEBCgAGBQJSoYHWAAoJEHhT2k1JiBrTI4YQAJe0sFZv/RRTNeXSCw+M9Inm tFAUIUFC3HtwdcVzdDn1z3wpVRTRnB6DCuPKVXHt5WuVLkqMduXPIRxy8VsTXwtM JpTpMYwgbaokoqevGQMOzyNPsctNaMCQK2QVfhXWs7uhRD60mIzeUL5MtDHJdYh8 BCC13hZLEk0Ue2uSYlpa84ocKdeCNeCZJMVEMNuEGY/wsRZltpyjObxLZhrzv/5a YXcSdMcIIAHeBG9LnP4bc5krjh37Pxr97S0+KCtrqkzUKZNzSKNzqybL3ZXdK6nU HX5CVQZR3tou8U1PwgmojaiUVFjfhPEiqvYR4UpyXx+PSRBaNU5jSUpmetqoHrJR gfZ743TtsJjZ3/3TIQ51aLoYb+Fm3ILQjn0SqU+KOKJ134j4KCAD3cTx65pHfx+t 10g4/qrLuckK0DBdpDLGsdvwQ2hxWqVovpO9zkqCNr6b6lyDx2Is32ltCW+2jKx7 UpSwJG2cGmJ8q7E23jcSbnmMvfiaTSVd6AaM40M+f6lP4rZqPk5OqmqSPGVOaL4W rW3WQN0NwLDa6ON7I2xq9Pl6Kcp2c4spiKxQyVq+IAvPNLpAQsxar/JZTswaxuxF jcow9XAtlUYzn4CPd57ieGQWHJV31fGSPo2cgVph3BnqRHcVaZddJwN8ugMbtSzJ NdfuuK5VnJL8WrhHZx7k =EmmC -----END PGP SIGNATURE-----
