-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libaac-tactics-coq
Architecture: any all
Version: 0.2.pl2-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: http://sardes.inrialpes.fr/~braibant/aac_tactics/
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/aac-tactics.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/aac-tactics.git
Build-Depends: debhelper (>= 8), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.3), libcoq-ocaml-dev
Package-List: 
 libaac-tactics-coq deb math optional
 libaac-tactics-ocaml deb ocaml optional
 libaac-tactics-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 39bf994314ba893956c572ac688b90572afdc567 77409 aac-tactics_0.2.pl2.orig.tar.gz
 246c300918e4b650fcc002dc3a3ec3610028b77d 2526 aac-tactics_0.2.pl2-3.debian.tar.gz
Checksums-Sha256: 
 803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 77409 aac-tactics_0.2.pl2.orig.tar.gz
 35170518ce73d3aebee1d9e8d88e92f7ee6cf80b66eb1450c07e8e276e841281 2526 aac-tactics_0.2.pl2-3.debian.tar.gz
Files: 
 298a83eaf3f6255542974e054ba1872c 77409 aac-tactics_0.2.pl2.orig.tar.gz
 d282dc05d631daef365072b62b37d90d 2526 aac-tactics_0.2.pl2-3.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBCgAGBQJOsitcAAoJEHhT2k1JiBrT1hAP/1mjowVsVKq/ldUe0cQ+D9rO
pOk3YX7CwUZ8yWXcH1KFbt6Fc9/CnhW9SzT8MIZDGs0WRcvSNtnOPhe6pCWIeTED
Dpr9Sso62u21SYWBLgpqpAFbU/Db+8/k8Tba4OaoU4Mty4k380kNEkjjxFh1h3qu
30gB7g5iaS+bDbdR5jk5TwLYm9gBaLdpW5Ndzx5xya7AJVltHqDHSolgS3UMEYdz
Vt28fx5WWFBpzjXNEqcF0rSupAMTLJuHEc8rniWZxJKgoEg7dz9npxhfeYu2vK9c
tIMAQ9o44sSX6V+U/8D08pct1HVfN78bmUye9lcZEDGUjRfPlCo1chPO3lTaPRx+
VhULNo+rIfEgYIlEYNko9hqb1XXbsS1VPqKCq5H0KKRlPxJ2o1CwNU/YNH1jY5Za
o+wnZlffQpHeabvyEkMwL3laVEEqmOlKY8r5ig9LrCQpoj1w7vmNoaZRsUBSTpHw
pW/hsECsbCr4XX88HM6JnlkndNADIaI1ek+enmL2tyIi1Dwk6ni8gL3FNzxdlg3K
6fkuvEY2XC+t6f+Ffdw3OWMO/BS6O7x3f0jIL/3Kl6uWOOEd+s+Yi86QBtpglNmJ
lP73gndEQsevZgK5F2dYzfRBSn59lHzpm8yZFy+SPG7I4m8ywPIzN+A8E3g230xm
n9E/qq+vCoNWcCIRD1Mw
=5uxZ
-----END PGP SIGNATURE-----