Accepted aac-tactics 0.2.pl2-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 28 Feb 2011 07:46:14 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source amd64 all
Version: 0.2.pl2-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.2.pl2-1) experimental; urgency=low
.
* New upstream release
- remove patch (applied upstream)
Checksums-Sha1:
bd5e13ae389eb4f5c25a1419e8c3af99d53cecc8 2075 aac-tactics_0.2.pl2-1.dsc
39bf994314ba893956c572ac688b90572afdc567 77409 aac-tactics_0.2.pl2.orig.tar.gz
434745c1d7b514c0f60d46d866ba9ba67429f571 2542 aac-tactics_0.2.pl2-1.debian.tar.gz
073881224343bf1b788f73c5320e07be77999a11 144834 libaac-tactics-ocaml_0.2.pl2-1_amd64.deb
88134b754c1efe6381ec45aa46d8f037276b0339 133560 libaac-tactics-ocaml-dev_0.2.pl2-1_amd64.deb
27cedd602d342b37540808b0df644215ed764245 311898 libaac-tactics-coq_0.2.pl2-1_all.deb
Checksums-Sha256:
e634d9ec52f462951c9be3bbf901345edafebbead33d5d2951d895fee51ff26a 2075 aac-tactics_0.2.pl2-1.dsc
803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 77409 aac-tactics_0.2.pl2.orig.tar.gz
d95047c99a5a56f8862b2e552cecce84e96c2e56cddc3cc89f6a50548059fda7 2542 aac-tactics_0.2.pl2-1.debian.tar.gz
5b8ec4091ae5a61bdb1f456800cd4e5997acc6eca743bb8c2516997e9549fd27 144834 libaac-tactics-ocaml_0.2.pl2-1_amd64.deb
2509c35103821d161dbb7171cefc44c5e1c50adf714290934390ae5d34fd65d8 133560 libaac-tactics-ocaml-dev_0.2.pl2-1_amd64.deb
6bfda22c61b48656f1c54061b3650ac67a0f07de2d14316470be1be207b4c88a 311898 libaac-tactics-coq_0.2.pl2-1_all.deb
Files:
1094e1689db563f0a1b9cf5fe6f4274f 2075 math optional aac-tactics_0.2.pl2-1.dsc
298a83eaf3f6255542974e054ba1872c 77409 math optional aac-tactics_0.2.pl2.orig.tar.gz
4622ca057c209195e02c4cb8cbdb3227 2542 math optional aac-tactics_0.2.pl2-1.debian.tar.gz
feee8737aa88a47f091fb631d950363e 144834 ocaml optional libaac-tactics-ocaml_0.2.pl2-1_amd64.deb
c48adf13cb39e8389ada16c1539a4d14 133560 ocaml optional libaac-tactics-ocaml-dev_0.2.pl2-1_amd64.deb
cc3bc2637548e91bfec0677a81a71627 311898 math optional libaac-tactics-coq_0.2.pl2-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJNa0WVAAoJEHhT2k1JiBrTrJoP/1I0Cziad0ZdsJl6L3zahgOr
ArBJueRjwxneIAkpkNfrJKFp9fRkdVANbSYK757dTG1snSwt2JO/NjWNRMe86DTn
qOmHfrNe2Xxtb78cQMae3MqaCWKhYh0OLZ7O0lGaAh7LR2Io4hcS6C0RG6OwUZ6M
JgOBD4mmelGFtAUL9WWoqyf/+Cj/xxv3x6sRSuynxsVrBCbHvXiEWfn/dZQ8l3pl
8Fa8IFxJ+z5zcwN/gOZ8qzmhnH5DsxVz+YSjHnEHxU3/ZWs1cVA9lQuzkFevOaEz
MBsD/CjgSoeE7thxX7oNEhnomi7Tmn3AujfFIGsOhixFwzPDhbdV09rcpKPZoOny
wS6vYcH5MhCduuOYEjuWekSEtmzltZ+KqFHfx4ivxhhgzkEGslieIZCd1SBt+WwO
AnJJ7umjC+UEx1Mg2/r9qtKIbJ1J762vRarT6joCeL4998tltyTqyE80Ti8IrO7H
7pg6/l1EW6xCIcSX16W36UMCT0yJf6l/60549nyYuBAuoDCamHiDA4YoZ+3mXn4x
IJBs5JLsP2N4z4/kqlhqfNwRJ9udqh2mYU4M0VKUTW/XAIhon7AD4uFsVv8O+uJP
GToLUFr4eJAQEI07I9BXqhM1f1ElqeasOJAQb6RDOGVDfFtoocKrkf/TjQ1Q077j
Th2U3Q9R95Pf0aWF/zyH
=kAe8
-----END PGP SIGNATURE-----
Accepted:
aac-tactics_0.2.pl2-1.debian.tar.gz
to main/a/aac-tactics/aac-tactics_0.2.pl2-1.debian.tar.gz
aac-tactics_0.2.pl2-1.dsc
to main/a/aac-tactics/aac-tactics_0.2.pl2-1.dsc
aac-tactics_0.2.pl2.orig.tar.gz
to main/a/aac-tactics/aac-tactics_0.2.pl2.orig.tar.gz
libaac-tactics-coq_0.2.pl2-1_all.deb
to main/a/aac-tactics/libaac-tactics-coq_0.2.pl2-1_all.deb
libaac-tactics-ocaml-dev_0.2.pl2-1_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml-dev_0.2.pl2-1_amd64.deb
libaac-tactics-ocaml_0.2.pl2-1_amd64.deb
to main/a/aac-tactics/libaac-tactics-ocaml_0.2.pl2-1_amd64.deb
Reply to: