Accepted aac-tactics 0.3-1 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 21 Sep 2012 19:19:27 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source amd64 all
Version: 0.3-1
Distribution: experimental
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.3-1) experimental; urgency=low
.
* New upstream release
Checksums-Sha1:
e0e870c889fff539c97abaa548280aea03eb0dc8 2190 aac-tactics_0.3-1.dsc
7003e59e3c743a83313238d9b6564738ef03665a 74263 aac-tactics_0.3.orig.tar.gz
95671f47aef62834989fd152975b8b62cb278af2 2822 aac-tactics_0.3-1.debian.tar.gz
a56633bf13843c7317ece4e38c34fe66b2f93a16 143900 libaac-tactics-ocaml_0.3-1_amd64.deb
fdb77bf8406906477bf26354c2bac31039270955 55756 libaac-tactics-ocaml-dev_0.3-1_amd64.deb
f63a0955afa3cf00e5a6790252522961010a8ea6 303908 libaac-tactics-coq_0.3-1_all.deb
Checksums-Sha256:
57387a789e169d8755fd33e7afd139b8dbe954135fbc7b5738809f3d512fbc5a 2190 aac-tactics_0.3-1.dsc
24504f98e568dab99305cb9a11b678097489ed2561f14e9b24d3483bba67bf99 74263 aac-tactics_0.3.orig.tar.gz
a1a5a9c9d37792a5d3f863c39970f6661f50ae687672905f9b0009e3ba64d192 2822 aac-tactics_0.3-1.debian.tar.gz
3ee2e5d14cb999f74287832627a5461d1961151e4fbcf663c720c169815b3c2b 143900 libaac-tactics-ocaml_0.3-1_amd64.deb
126bd603f12ab6b1cf4cd3167d60f24b90c943e2601c1a8531f3f03b7abcf055 55756 libaac-tactics-ocaml-dev_0.3-1_amd64.deb
6e70e970f4d49ceb0c91189a1f86314effb2de4233581072760f927164c4d925 303908 libaac-tactics-coq_0.3-1_all.deb
Files:
23cb07ce66f7bccafb54a1f60288e229 2190 math optional aac-tactics_0.3-1.dsc
5a75a239bb8452f7b0ef570fc25a09d5 74263 math optional aac-tactics_0.3.orig.tar.gz
fbffc92ec5d52e70bb9e176f3978d94f 2822 math optional aac-tactics_0.3-1.debian.tar.gz
fbe59beb35819cf480cba61e6484310c 143900 ocaml optional libaac-tactics-ocaml_0.3-1_amd64.deb
87b3543fd9cfd559cf933f90ed8b30fa 55756 ocaml optional libaac-tactics-ocaml-dev_0.3-1_amd64.deb
3b9b39b012da1f6d5881f25fd25f3533 303908 math optional libaac-tactics-coq_0.3-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJQXKQTAAoJEHhT2k1JiBrTDlEP/RKcRvH2TYMQTdekqdAtAl+9
fzRrzMp+OErqVJ1KY3xPB4oqNBG2irDxwQErcDCh0sQvRDhtlvnCAAoq9YPYuOUq
xbhHIHoj58lNL34lz9AhDGLktUOxrjnlxrhmWjQSXuPeF7wnIc6N+MEgFt6BzB8k
KeHnok/aFL6hicbIvo1BEscuExeNtNLEvEPj45/pvm5CsV0ehhWZ/h8c9vmHmt4v
j+Ho2yayN6p7Zs1fcBL/tQ1jbqfgoi3RyWWltQHIAjfjKnHTzFMSAa7O+48KT5fn
J1nD3ny8RbN2JKGbclbPAMUoMrluFNnqIMIHNXL0ms8lISFFgSnYDfpIdFeQgNPu
X7qxGbjxu0otgMpPJzzFZzUKsFbReUrFYrmfTNBGC2p3Fn4iUv1FwQx8lP03c1PK
gq5YayWvqQQ2Xw9x0C3QEFCfEfDPT/vsJ6YWUpIJB0sM4BXWQj4PVnirqq6BgkEH
AjCvZpGUZF+DlYkZHbbMm1ba2iN7Bglp4gyBAk5v8Dp3BjLwl8vCv7dzkh2qJO1b
dWzPFDLnwurZrbCydtwfHNIhNxx9GCNDeKOa4JzbtABTmxWjNPmNA7CLYPcb+Ec3
vCTFoPL5PCR7sWQ4P+QJ3nGVmZWIvOYunm/n/uok1UW+xGTzTd/NQ06NJZ8Vg/Y7
INLsDwaRhvazXShv5u7F
=xT49
-----END PGP SIGNATURE-----