-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: aac-tactics
Binary: libaac-tactics-ocaml, libaac-tactics-ocaml-dev, libaac-tactics-coq
Architecture: any all
Version: 0.4-4b1
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
 a983f373c5ece3a7f17a55a47f3292b95a4f4d65 3080 aac-tactics_0.4-4b1.debian.tar.xz
Checksums-Sha256:
 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz
 991b07b6a7f34ff6a69cdd4869d60b2b573a7cbf4e0c246ef76e02de446ecd8f 3080 aac-tactics_0.4-4b1.debian.tar.xz
Files:
 6ea20f8288d6870d3baba0b5c940a9d4 77336 aac-tactics_0.4.orig.tar.gz
 641b69a560895e27bfea73f5c502c4f5 3080 aac-tactics_0.4-4b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXbT1dAAoJEKBN28suwKn/SZsQALhStVTlO/cRZxPMK7bcWb2k
RyjdJOzH95I/CyLnPFeE830Y1Bc1+GWb9eiEv9DFlqrmDCVdpW0p9IWj1XwA+OZJ
PfCllf+jKIDuDNt4ycjEi+lQIQ1C+Uyz/XV5WgKuOsChxS7HwJ3TE78qUxZXwIRP
6eb+/k52CynPgD2BWZ8HdLLIwjJbb0ndM47vBRV6+COtRTwsQBqrWPohSPC2Un4y
pTKKSvFkewOWlk2T6fM1fT0vRdwp6JFAbPuoowIQ2+qocss1qSbcHnAVMF6L4tXo
3r+500GnicmFFS+a1JIDjYp9omRymv/JO3R235zxQ9716nwzDQvtRUxDaNUEUSZI
dccw7qN3pI6LIY8L9Qocfd/6H2URBA2CAt60fBhx97UZ/TF6f+GISYRHjbvHVXrG
EczxjY/bEGHMpxOTRoan9/Hqx1uS4EE36xF2hsZKJCLwGP0y6z2h9i/0Mnl2ZPMY
mDC9QqCrowfbV6s3Vk26+bAm0GA4h9D9cB5g2KNsRAggiJ/Bp+4rWxk7ZDXzSFgh
eL11ResVC5caIgXEjVl31IpX/Ocj2mtc7GzIVsG3gES5yhvj+RKfUvbeV99K03Le
fZv7K0t5GUjXqld3xx4ZJjUwJUYNPFPAwtD3/aCjqCrcJIozz1z06AHbGlBsmAcV
PLzHw+NEKwUB9KjM2aK3
=kC33
-----END PGP SIGNATURE-----