-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

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-4build1
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
 7fd29a98a0893606d8dc4a84b1bfcc6c3b51d3e3 2724 aac-tactics_0.2.pl2-4build1.debian.tar.gz
Checksums-Sha256: 
 803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 77409 aac-tactics_0.2.pl2.orig.tar.gz
 42d7213a6197d120a238552ef1c37ef4923e4a58dbbbca44761ea45d68de9f88 2724 aac-tactics_0.2.pl2-4build1.debian.tar.gz
Files: 
 298a83eaf3f6255542974e054ba1872c 77409 aac-tactics_0.2.pl2.orig.tar.gz
 6a2fe62ef7d239542e942ff2fe78cbf9 2724 aac-tactics_0.2.pl2-4build1.debian.tar.gz

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

iQIcBAEBAgAGBQJPCbDkAAoJEGHzRCZ03mYkl9QQAIe8HYNKEj5cpvULkfilI6tk
xzJ62Q/lQiuZ0ONVy0H506MLPBoYzF3lf0yqBfR0EbUMDs97b18kswA5+hkSdglk
GRrZxBDSyka+pvTEL3yy9C3G3OLG9tgMDTHuu5ezNo0Af73dZmoq+a6X7tHS0eBZ
bMmjFxf1sZH/RKT26/Xvm8bknUPVecZt0ccPpHhCJr/HDbYL2eUMpl7yDwLDBs8x
72TDJfOKmAyNbvqedXD2hmWhvmuzemh9GJQXm6ARW3BGHZdsSHfB3+zqQu1vyGV4
BlKFKHqfYDEE7DZhZjmCO4QeucknPNUqvYguuwN7SVxdK2Z+9ctxM0Zm0WZQlgax
8qoAe17QpZPOyybYH+ISZQa0iUOiK8psPoscQ3Jpvafj/UiRFNi/e7+eww+EjJ1N
bLgknz6k2g4dHgh55F5gPNSq0V6DXQp9xSD070J5PtfbWg9Q7AnnlEYj0itx6hEY
0p7ta+9492qJpfvbfVw+IOiHTw2cVRUbGhX19eKnhbQmcMeptubRiDXVUBkwizWw
5faODNNJlHPjuBzfaSnLvr4IfW5Fvlim1/rKU8oVbYWNaHDJId6i2H6kd+S8EWE2
AijoFn1gFRY+sQ6JxQleRTCP/+D47/Smbp4DGmYVb7FUN43cg5TZudzyGH2xV2fU
YSlCdom5PWiXI8DRgrSg
=8Ze0
-----END PGP SIGNATURE-----