Accepted aac-tactics 0.4-2 (source amd64 all)
-----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-----