-----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-ma...@lists.debian.org>
Changed-By: Stéphane Glondu <glo...@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


-- 
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1ptx7p-0008q9...@franck.debian.org

Reply via email to