-----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-3
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.5
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 (>= 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 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
 da5df6bd82b82eeeb48bccef4cf3fe93a7d7e380 2960 aac-tactics_0.4-3.debian.tar.xz
Checksums-Sha256:
 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz
 cd3e0d36b1ff15d9bfbf35da8bdb47f0f0741a3475e75b35d9a875ba266b0f94 2960 aac-tactics_0.4-3.debian.tar.xz
Files:
 6ea20f8288d6870d3baba0b5c940a9d4 77336 aac-tactics_0.4.orig.tar.gz
 e83053418314f400893f8f75c3d91247 2960 aac-tactics_0.4-3.debian.tar.xz

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

iQIcBAEBCgAGBQJT2LWjAAoJEHhT2k1JiBrTRpIP/0kjKGq72Mbs1KH5+G46aY3v
m71B56RT6dLWBm8gmAKxUlqGIiq4MR6uVLDi3BH6q5Sd/vNvJGQ9/mc4//M+EmSf
rMy+TBt9CKYWG501ow9W85ASyjsRj4nJ3euVvrX8oLJ0Iklyd7NlfG1aNTz0MB+w
tS+c7Tj/9S07KST5sVrQoM3KMm3r6qaiyXtTZmn0C1XO4RtH6ZV3f0biSM7+BHzq
Aqd29u/hzm8cCOHBsY+5xkuZ3vbwDcfE1uo5J6r68aeTmaR5ucIB+d31cm6RiR7D
86FgjjKBmlqJY0VIeQaGXUkV07Lswrp5ee/bZlf+fuCaY42STzyYVMSoV9iTvxHZ
f3RSRqYqQ/7HqnyTgX0otLdL9inJXFzPkwqm2bi45lWRB8JzU8MAjKhBhdPs/mdB
wXakzpx87A/vrOlPS/f4eTr3NLqmZVQKIejAOmwtY2xR6un/uDfosVkVMRt4Hy9c
aPdyWIk8MOTvPtJN9cWfHQeoorMB4vt0u8cPpzi98mV04+YuSIiCQ/GYhvMHrT3s
3UH/xdCkhyRi/dbK/DRDL8eis92R4jmaiUsUa6kdYASdDdjb/iwvhX3aT5VuO4iS
1EVPF4O7OZvg9Vm4G5AQHyCbesp7r2JWeuY+o6Qau/cCItTLfzg3/M/MV9e0+xgb
K8Y7jnUk4SlUhW9iHuyl
=hifo
-----END PGP SIGNATURE-----