-----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.3.pl1-1
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.4
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.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: 
 8dfd4ef0c55c40dd52ecf37087e82d51672761ea 74167 aac-tactics_0.3.pl1.orig.tar.gz
 208b6b3ac633e39b80d33683087b83f10ff32235 3034 aac-tactics_0.3.pl1-1.debian.tar.gz
Checksums-Sha256: 
 13e36c59ad7cbcfc90aa132fc073767ecf22cc2801250f42f98341da3723eeb0 74167 aac-tactics_0.3.pl1.orig.tar.gz
 991f4ab9287c93b0f7abe44b48ead10d53e4f55a1428f152d443d40b60d05bc4 3034 aac-tactics_0.3.pl1-1.debian.tar.gz
Files: 
 9939416b8bbc36fb2def27539bca3244 74167 aac-tactics_0.3.pl1.orig.tar.gz
 72d36c48c9ccf9fb6f5b88f1f000f4b4 3034 aac-tactics_0.3.pl1-1.debian.tar.gz

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

iQIcBAEBCgAGBQJRi4kMAAoJEHhT2k1JiBrTPy8P/0R9Tq/JJnJw4Rv3L2yHVjvj
e7ZitPlu/zMATCbIserMyCQKbIEk+Dk6g3cgtZYU+v88dscIav8wkRi0WJVaYxrm
rLv/Ai7ISyqD2KQPys/By21xjaO4MOsRxkK5fG9NVzE4/Ow72nuz874E5X4sF+u/
R41Ds2bKHMWBu8vYWonAS3WZKxRs7P2uWt77NIJGeh8g4l06iOztYdQfMEnqEWRg
88RdAjKarZsvMyiq2h0Ut0LpFtB2QPoym9ToUdVBXXBSkqY7EcCk3ipqPUSiSrQe
YVhfQYiog3qad99f3oJclMxNFOPf7vdY92La26podH5fyNYC+2ttvhSKrMXxxKiD
wK+Ng4kKbjYhKb+Z8SMNnEVxxy26VxSqEiPAuNtsdlm6ff2GvsaytlNxiI292i86
VsWS1LAy0+5paP+q1gvipLwRk68Z+ayisfxLZRbF6nKqn8aFE0ug7R+R5WezdCBH
yCc2tzfVhnP/i5tV2KX8HgE9snT0vQ5BSqL+gCLN3+vaoVK4PA81THewhhU+C4iO
CPSr+g2rC9FZWSm1cRRI1MeQgB/MxDG6gvpqLdKjHYSWfDnvB2MTrFedHRmOsnwu
2/pT6PxnFqxoUopDXQ5nmrUR0Axz4FzqhW1JypfW1cxwgGD2IJgIagWXnf7rYbw8
EhdFUpbGNorAOXfPwn9X
=earq
-----END PGP SIGNATURE-----