-----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
Version: 0.2.pl2-2build1
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.1
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
Checksums-Sha1: 
 39bf994314ba893956c572ac688b90572afdc567 77409 aac-tactics_0.2.pl2.orig.tar.gz
 3ec0126acc30a2f7ac302859d29d1b0e23fcaa96 2585 aac-tactics_0.2.pl2-2build1.debian.tar.gz
Checksums-Sha256: 
 803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 77409 aac-tactics_0.2.pl2.orig.tar.gz
 3a5b4e858dcc2b0f450760276ea3971a21a6bea7034f554ab0a82c8cf7995e8e 2585 aac-tactics_0.2.pl2-2build1.debian.tar.gz
Files: 
 298a83eaf3f6255542974e054ba1872c 77409 aac-tactics_0.2.pl2.orig.tar.gz
 0ee7ea497a6160f1611623e3d78ea6a1 2585 aac-tactics_0.2.pl2-2build1.debian.tar.gz

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

iEYEARECAAYFAk5Vf8MACgkQvjztR8bOoMk0HgCfchn7lmigvFiQlO/NsFX1lous
xQsAniwu19qaEYcx1D5tzjUiBoI2Ax6L
=f/46
-----END PGP SIGNATURE-----