-----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.4-2b1
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.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/aac-tactics.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/aac-tactics.git
Build-Depends: debhelper (>= 8), dh-ocaml (>= 0.9~), ocaml-nox (>= 3.11.1-3~), coq (>= 8.4dfsg-2~), 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: 
 b01df835b1f47b4465b8e4d595f40ee336564779 77336 aac-tactics_0.4.orig.tar.gz
 dfa84f5043b0a0d7a71df289a2523b827a0fbe41 3080 aac-tactics_0.4-2b1.debian.tar.gz
Checksums-Sha256: 
 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz
 195828f85adff926cfab1faedc54234610d7645847a723faf29173027caefe24 3080 aac-tactics_0.4-2b1.debian.tar.gz
Files: 
 6ea20f8288d6870d3baba0b5c940a9d4 77336 aac-tactics_0.4.orig.tar.gz
 9b8ef70bb04b82dc0235ce372a4776b7 3080 aac-tactics_0.4-2b1.debian.tar.gz

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

iQIcBAEBCgAGBQJS8gthAAoJEIxPDyvAFXjJIFYP/1vGioYbaXVDSGl1W4jrgBoV
UF+toNS3puEEB/1kTJAcy4dFweO6edObjWvxeDstf9agX3X5wzYef1mB+QaxO3ua
nb5T3lu3r24SKzlQMSyZrNKyvEfMrl/ChshKQ7ertwC5q2T4QmjoQ/QZOL1rRZHg
jcHMrswHrIkDEUcF5p6UnSm4ODzN373N22u77xNWetW8zxekvJmrA3PDJr5jyHlj
CBIv+rmZug2wr4qAw0UUVSHct8equvYrFzhVqgrwt9CzDVC1dqRO8kz9fG9Y6FeV
1UiKClactzffyX05TXSKhaEXWd6f2P3NiymHaOqeOLZsxljCmTMk2LRWk/6PmVaE
OYoXQoW+NYzCns5NBwdvsF8YdhlPy9FWF8asKihtAMhjPzBrSWCRgbC2f36bU/l3
dfAnDh4JWuucbWgWIMCYXwf7BWUVONXUrlJCAZnAv0jWOf6A8148XWpZ80m7V3FY
eYw2Og3JNjPpfgEB3vZWnovEXG6JVR9po02PeUTsk4IaF0BHlg6qN1E0Eu0hu//k
SWpIAD+ziCSvoRz7W7XzWVRj5KF9V3K2bO0FtuB1TbIDsHzW4XFhbkO7wySq3Pbm
PE6HVxDb4pl+s5gJ/tUrgR7xZY/9Tq3/LJuMtFtHgwIxSqr1hExz1PeYAoL+/6VO
lt7YvUh4iHQUt/suHKIL
=EDeE
-----END PGP SIGNATURE-----