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