-----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.4-5build2
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
 e2a0932900f04422c29e43b79e44e25d77dc9932 3076 aac-tactics_0.4-5build2.debian.tar.xz
Checksums-Sha256:
 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz
 441f4dda71dbb9e0771267dc5cd9576c4250febf264a9845d2506b3cc58e012b 3076 aac-tactics_0.4-5build2.debian.tar.xz
Files:
 6ea20f8288d6870d3baba0b5c940a9d4 77336 aac-tactics_0.4.orig.tar.gz
 f47134d9aed835940b3120c67260466d 3076 aac-tactics_0.4-5build2.debian.tar.xz

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

iQEcBAEBAgAGBQJWOp0oAAoJEAIZyhnQNDMM81UH/AoL04ZSP0nNvXI9x2swTTL0
DKOdNs9+OAem5AbT0cl3iYRY7kYBTGiH+a0LnO+ewC6u4/SiqmrIWBPjqK+PGDuu
d2HWVGQ5TS/GEmntzyWCXEChz0Izhbken+coVT6mP4jnZuDAAoijcIll8vY7Paq7
Mh+3RF3+a4q8zhpmVARq+lZmk9X0XYILR+vpH46VgV1nj9vWwHZ4Kfwwibn2uk4m
Pi2i+CExguV+uf9KjQrMRPHkPhdj6XdOjE+M8H3rtMdIGKZVQaAXVqsYVrgEGtEV
mXqfkiVKdQGchA2J8P+bkSSCx+ZHpG2eOr15yIhzsCatNjYgOE18JJKyc1Lxa9E=
=94Hn
-----END PGP SIGNATURE-----