-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 20 Jan 2014 08:22:59 +0100 Source: aac-tactics Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq Architecture: source amd64 all Version: 0.4-2 Distribution: unstable Urgency: medium 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-2) unstable; urgency=medium . * Recompile with coq 8.4pl3 * Bump Standards-Version to 3.9.5 (no changes) * Update Vcs-* Checksums-Sha1: c146c9409cbcfc206ce601c2a49a51547cb68b43 2191 aac-tactics_0.4-2.dsc 0d3db30d7863baefa6e8571fe36500ef198b7ffb 2884 aac-tactics_0.4-2.debian.tar.xz 08688b4836cdccf1abab12e688260776dac0886a 128570 libaac-tactics-ocaml_0.4-2_amd64.deb 4cdeded9ae7b20aa8abdb302ffe9d4cd4aebeb45 44976 libaac-tactics-ocaml-dev_0.4-2_amd64.deb 1e185bea65008748b1a240d91a998bbad13f361f 213966 libaac-tactics-coq_0.4-2_all.deb Checksums-Sha256: 5dcb8dd334283b7722313048244578bf6da042b21435d8b91dd2517dec36f6a7 2191 aac-tactics_0.4-2.dsc ca3821d829cb1e0650b6b37a74c2080dc387f823257d803355b362d52d523dbc 2884 aac-tactics_0.4-2.debian.tar.xz 6d2eb693d25b3fa0fc10bd772553c63c623c16c6305fbe7437ea59321dd9c5ed 128570 libaac-tactics-ocaml_0.4-2_amd64.deb 060b5ffbbf4d66832be7c0169ce85165edfba58ad6d377043eef828d15b3894d 44976 libaac-tactics-ocaml-dev_0.4-2_amd64.deb 5c3930ca45e9f4db2b256a08e185903ed2bec38508b3b75ae9d39cfb96314566 213966 libaac-tactics-coq_0.4-2_all.deb Files: 23d9a1d6b6aa5bbe3636ca49036dc8df 2191 math optional aac-tactics_0.4-2.dsc dabe46c2116ca2c60400d26cea44a08f 2884 math optional aac-tactics_0.4-2.debian.tar.xz 682ec8b12f56d8d436c3a23861e3a616 128570 ocaml optional libaac-tactics-ocaml_0.4-2_amd64.deb a36c03828542f75861150fa1ffb16e43 44976 ocaml optional libaac-tactics-ocaml-dev_0.4-2_amd64.deb f2c1a4c04ff4e6a62d9f994047b1e2b0 213966 math optional libaac-tactics-coq_0.4-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJS3NA3AAoJEHhT2k1JiBrTUB0QAJqac6EVCvA6/M+o6RjExebX z0GVK+geSmxnzRay9fw/S3Cy1nBZCeJz+TO9BzqDHQW9m5+kA1bfs/eqATZK0GDA SAzzEcSv7W0wr+rnAl+eJWufq4RntdrFIe2iWgCjLWrjwU9W4oO0H7HRglJrNdCZ NsVnhyRJVaQS6VZqdcdmUBd5nXAYgyqN7ZWR5KymwWphAMYPrkhVhOYxUtgm4y+O nGFCZLNrutuy+n5zQB1S25IXQYKrcwkbD6g72OW3cWkQCAjljOiXFx6aPVgyTsj2 P3wgZSg6e+3H7BgaRuGoZB7B+/Hz5vl18PbL/w7HcCUb0u/CaU9H5kH5XkAFIphD mb/o0YA0qalG7tGeqQN/wdCy0hOtZteM7jdA7Mxo5Wm7WXxSMQxWVpawbheWTPBp v2+UqhLHklA8gHpIYyaEYz2/TzJ4TgkDh5WWCSFFUaQh1Fe/lXJa01X/RJsgdxA/ kp4FNGyICsdDk2+i2tJ3DBPiwk4qyuhtqHy5ey/VSwMP+gzXUTsl0JBjdacXJ0mA 8foMdw7eIOsVQgcO1WTf0Du/tgtd8Gwt7RehvtwE2IuSv5+MByy9YyCfG+GV7qn1 6b32TtyFvWJvyxOSayyQyNr3+bD7rIMfV1qrgAqD21Ww0bnpmDFyIumrOgD6vx4j x74bs06j+NgGYNFqi77B =CHbr -----END PGP SIGNATURE-----
