-----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-4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Stéphane Glondu <glondu@debian.org>
Homepage: http://www.lix.polytechnique.fr/coq/pylons/contribs/view/AACTactics/trunk
Standards-Version: 3.9.6
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 (>= 9), 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 arch=all
 libaac-tactics-ocaml deb ocaml optional arch=any
 libaac-tactics-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 b01df835b1f47b4465b8e4d595f40ee336564779 77336 aac-tactics_0.4.orig.tar.gz
 cb437023a01e05be973f42095c7f6707047cea9c 2952 aac-tactics_0.4-4.debian.tar.xz
Checksums-Sha256:
 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz
 3572d534fe38f44e6e405722dd70ab2a28dfa9bac9c2cc05a1b348a33f3e41c9 2952 aac-tactics_0.4-4.debian.tar.xz
Files:
 6ea20f8288d6870d3baba0b5c940a9d4 77336 aac-tactics_0.4.orig.tar.gz
 32a89ec23b1a833fabee7feece171cb8 2952 aac-tactics_0.4-4.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJVyP5NAAoJEHhT2k1JiBrTelIP/12cjUsTnfQlihps/9znaWSl
FH/NTQS75CjX18kZBVXzIMeqxtOPwgiSVWSqCFh59iwZ6+2FQpLxo6gLiQlQJa1/
UM4bO4Qbel1IG/xSBbqNM0Ds90aTGRzr9YUprubpdVaxiX4JdeMpYBIVOmylG48E
ZxV/JDl00miLATeMo5O9YL+G1vP250Vx778WKVCWCH7merEJVq4E/eB/FQbHa9c9
XMjDWvPbrre0lsV/we4+YsO8Cu/ZrHQeBXVOMts7P1CQRPy23KCe+WNEHjZg3XL5
YKVbFLyBUPG2HuIZblphDZvIRtxOaqzLW5UkTtDtGZWbrQv1bre2EhsC0IS/5DPX
j0PQ3RCWCZsMYqbf/4ST7zuLCs0YtsdudXH26ORJzRxBvsV1i6UiUt6QAzLof0Zc
NVmcjwTl4exHi3FUjG+goJCUQrdDGDGraa8vVZu7VssawjR/JBqBKzXIyDODIfiN
ZS1Yq7ee3rnBb4YKmwNOUil/Bk7WhB43mcNDshJL+jRuH54SgcfI5oJ1fYGgx9dD
jtsPC5F26d71g6L2ymHrNVAS2DgoUsBxL/aT0naDxWZY95AhbQWJNtzeRLwEMoop
UNox/DlgJ/4B5sFZrQAvPhop16s828ncVL3p+U3dyA22mRO+AkUufrIwK6VRdtMd
yK3ZNS5BJt5hyib/jtiV
=OpLe
-----END PGP SIGNATURE-----