Accepted aac-tactics 0.2.pl2-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 01 May 2011 19:22:52 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source amd64 all
Version: 0.2.pl2-2
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.2.pl2-2) unstable; urgency=low
.
* Upload to unstable
Checksums-Sha1:
7cdf3a43bf89719d7ecd93a0b495d3f22a5277d9 2075 aac-tactics_0.2.pl2-2.dsc
0dcda5420e2fd7827816c179b91b905b97a5d3f5 2528 aac-tactics_0.2.pl2-2.debian.tar.gz
467bf216d56b59d9fc7821d1e7514accd015d811 144638 libaac-tactics-ocaml_0.2.pl2-2_amd64.deb
719b708631dbe66ade21c05eab8a8d2050697d7e 135338 libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb
5d114b2f644c94c57e1452f94b0ce8d1a5333e1d 310400 libaac-tactics-coq_0.2.pl2-2_all.deb
Checksums-Sha256:
1cff088507cf25ed38f7106a0788a1bebbe58ecfbd45090c0e8f2c0e251857a8 2075 aac-tactics_0.2.pl2-2.dsc
cd2f455f4a7742be47a1320a4cf73e0c80c9c6a8397196b24a6a3b064a867629 2528 aac-tactics_0.2.pl2-2.debian.tar.gz
aaf042a5895d16342d539a6c3a0da79c2cafd6845bb31f9b6c42b8b5d2363281 144638 libaac-tactics-ocaml_0.2.pl2-2_amd64.deb
5f6a77e34946543bd81f587bca15b28f5d10dd2fcff38abc9e9e5b526ecaa125 135338 libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb
fe50da83a27bb77083231528b2976f1fdfdbe5191f0713396548ee907185b6a9 310400 libaac-tactics-coq_0.2.pl2-2_all.deb
Files:
aaca1d1db8eab07c17f0fd7b33f449a4 2075 math optional aac-tactics_0.2.pl2-2.dsc
557d78738a6290aef8b2009802c5c01d 2528 math optional aac-tactics_0.2.pl2-2.debian.tar.gz
d0ac09dc8e76d240b34859a8918351c4 144638 ocaml optional libaac-tactics-ocaml_0.2.pl2-2_amd64.deb
5bc72c4a562c18767844fe36de4c126b 135338 ocaml optional libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb
33bca7db280513cf1817b138940927e7 310400 math optional libaac-tactics-coq_0.2.pl2-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJNvZiXAAoJEHhT2k1JiBrT/L8QAJjvCtWb0tqnkpj26eSBuMKi
6SqAeAUqkh0Es4mZB32LEs/j7IFF0WnUqTI54P4FXTmD/U9QgKV1fAvaXaK+th3p
CqmPdRkxXcds8nZp8yvweNnig9JBC9gMxg7uF2NfFM+bLMrf7lJcgWLIhQsepG77
JfH1QOxRp7snbNGjcnH6yUJfpbufOYPWpyXqkbXRAYRTIq9plBamoZitDqccRxrK
btNlR3PIBttSGLWNZqX1O0hFuigY97FC8btQf0X2PL6fNCoKoQkw2fk8pEsVtwoo
ExZPZhN+FNxGyeMl+8usJnDqO8hNTUiiGhbvAG9Jdh4skzX0U0S6z61oC1UBCF2G
Nq85bteRDly2lgQylV+dNRH8tl0wo/Ox2ZVdm+wBRJcPTx/toLePXsL+zFNpv5YF
OV0NM+VcVIiH4f6trMgc9angPr5ZScTMHOTbjPmdiDX/1CBmX/IGnOvFjzgUG1HC
tJt5izEomrTf/ZgYOzCYCsoPjgt48EsXpPt6swNvn9xCA+YF0IGvzZ1/uQ7Zzlzx
XOquWqJbSO35qf5EoVrSyPjQCQ20WEB2VjHLXKgkzJlTW+4Jzizck6dSivJavmSY
hVkb2Wu4Tqn/RowqyouofZNIF9EVZ82Ub6k4uQaJCnOWE718x6tu0J66mAh+pBxy
wyYpgAgdHQpZjwDuZMhc
=ygDM
-----END PGP SIGNATURE-----
Accepted:
aac-tactics_0.2.pl2-2.debian.tar.gz
to main/a/aac-tactics/aac-tactics_0.2.pl2-2.debian.tar.gz
aac-tactics_0.2.pl2-2.dsc
to main/a/aac-tactics/aac-tactics_0.2.pl2-2.dsc
libaac-tactics-coq_0.2.pl2-2_all.deb
to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-2_all.deb
libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-2_amd64.deb
libaac-tactics-ocaml_0.2.pl2-2_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-2_amd64.deb
Reply to: