Back to aac-tactics PTS page

Accepted aac-tactics 0.4-1 (source amd64 all)



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