Accepted aac-tactics 0.4-3 (source amd64 all) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 30 Jul 2014 11:00:52 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source amd64 all
Version: 0.4-3
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-3) unstable; urgency=medium
.
* Recompile with coq 8.4pl4
Checksums-Sha1:
32947908c41759b4054b58ea122c5c5e9d2db04a 2231 aac-tactics_0.4-3.dsc
da5df6bd82b82eeeb48bccef4cf3fe93a7d7e380 2960 aac-tactics_0.4-3.debian.tar.xz
2c2f4267693e89aa966c53c3bd73448e7a2e9da5 128308 libaac-tactics-ocaml_0.4-3_amd64.deb
02deb4f06b2394de58ca9f40239b81c8a3f2c6ae 45314 libaac-tactics-ocaml-dev_0.4-3_amd64.deb
1a49ffd2a8cc92276722a3ff12ca0af95a6569a7 213832 libaac-tactics-coq_0.4-3_all.deb
Checksums-Sha256:
50893988307b2f2adeea48aca38a8a90be2b69f52c90abdc733f2c5d6a210bda 2231 aac-tactics_0.4-3.dsc
cd3e0d36b1ff15d9bfbf35da8bdb47f0f0741a3475e75b35d9a875ba266b0f94 2960 aac-tactics_0.4-3.debian.tar.xz
6aa1696e99c1e75ec408e23acc1576799423811d3ced57cc97b10322830af9ec 128308 libaac-tactics-ocaml_0.4-3_amd64.deb
ba21ace738acf4842b28457fc79c77c16dcaf97ecec497c119564f52b35698f2 45314 libaac-tactics-ocaml-dev_0.4-3_amd64.deb
d5bfe3a54454e094fe4b79e4e57e8ad8a3578180de6ef67fd7b66032c1bc93cd 213832 libaac-tactics-coq_0.4-3_all.deb
Files:
becd35ce1cc5dfe6c19cd021870dec80 128308 ocaml optional libaac-tactics-ocaml_0.4-3_amd64.deb
d67d6b2ab51b57b1cce6b93d42b7590f 45314 ocaml optional libaac-tactics-ocaml-dev_0.4-3_amd64.deb
e4ac74ca698f0759a557b78fde593a58 213832 math optional libaac-tactics-coq_0.4-3_all.deb
cc31bfe38921e3a09cbb2ae066c615d4 2231 math optional aac-tactics_0.4-3.dsc
e83053418314f400893f8f75c3d91247 2960 math optional aac-tactics_0.4-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJT2LWpAAoJEHhT2k1JiBrTWq4QALYjsBtOzuhj2RAFrOTLdKVi
vsQ6XIpymSZruu6MzyG6LfDv4veXzfTJxH44o5qHcUh7cf9w3hm8Wz0PQCL05ePo
vfCg1jSuBKXogoKqSP0hruNdZMlWFyzaRrol5VJDWKFEmgT+Tbv4OIjYF9GH9RED
f4Xq3AvbNii3Umm/fEzp1qMwDilIPNznWJJwsWqqMNGGO1eI/v8SCngp9U+AkM4e
U2JUumBZ426oA/cN++zADg80ZRhi1CTEXC8OIVjt2F8jpgm/fL6GcZHZgmmbtbpb
XJgiBJlyc3dCiRoYgeEnpZ/6ONGCIMzQZGDlHLRX1vIl/gp211i2D/pHGflxwEQP
aY6X7ZaCkykjlh8m3RvKYYOrPJtoewoMaZ8tFM9sB7M4T7/ur/cbSqc9QvdULBHo
rf6/QQ9ck7vSlQDc0TqP15QJ6jPehXX8f/P18H4bkgAdnr7z5oBgZaV6z5qoTnfi
Tzsst7sqAdon3yMZLu0R8e5Gb4PPDB2heU5LfmLiHmHXAHf4gwcMlEbMXugJ6u6L
H6/z0ABg2C8k6DBavFPE4pC41mS7Z3jnpN+Pth18kNORKn8WcVI7ob8wRw3iK1MT
PEGoz4Oqxj6cr/+C6mS1+uxD9icGwyQULeiQ1knnE97h47pikK93hF040BiSMLq9
SludaUxxQtskQtD3HP3W
=Kyxn
-----END PGP SIGNATURE-----