-----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.2.pl2-4
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.2
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.3), 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: 
 39bf994314ba893956c572ac688b90572afdc567 77409 aac-tactics_0.2.pl2.orig.tar.gz
 c63275c37fa6866a187b7bafd1ffc7f3aa986b0b 2657 aac-tactics_0.2.pl2-4.debian.tar.gz
Checksums-Sha256: 
 803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 77409 aac-tactics_0.2.pl2.orig.tar.gz
 38201d65d68955af8c812ab330a71355fcf613950c69767252bb62a21ca025f3 2657 aac-tactics_0.2.pl2-4.debian.tar.gz
Files: 
 298a83eaf3f6255542974e054ba1872c 77409 aac-tactics_0.2.pl2.orig.tar.gz
 67ed80196f18b0897d1b28f57b5602b4 2657 aac-tactics_0.2.pl2-4.debian.tar.gz

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

iQIcBAEBCgAGBQJO90h4AAoJEHhT2k1JiBrTuQkP/0+UHnCiYtE+YKoIBuhJMOuF
wQVFcdqV+HGshQEWIBY1ndyHdNfIi8e8z4rhbYmIF3w8+zrLR4cr9TdbAV9RNNJC
Zcz/SVx3EsVmBY8xyEA1KqhFCVo+G20RX63sZJYl9b8CLK3jHSAKKc8BYCS9cqdQ
8chpLciOTkcA9kWVMVJhgJupVTFegMgbzdwps4jjBn8TIloZ+KJOTiF0Y7JqUTrj
OSEO+FppCoiwBNehFFw1UmU/WdpKChvoJ7X/BjJIkdNsAD5Y4/0/8hYOV0falhku
HqP5LnBDBJylPtOgmlcRgODtW/cGA64LihEUFjcBRP/FdL8fyVxIx0H0xYqsbhE9
YqtLl5rLDL093DlqGUeVt0V0O60fVZmgREi6sL9WlN6/M/XvUGdrPQaQ0QILEzpd
1C2OAJlxZjA2xzcSzUuC4PYDaC+kLDgzZx3bYo8JuKQkkEKDNJYZJaTQRl4Lt+F7
1vDKS5nf7n4qhY+KKxxu1EM7/DNUc3HfUpuSrTpvHe2uXZyZ9vlB3oIil4xjlgu3
X7JNUueiDHcph5h4LJFOcVNzZEtLtgP3ojcZYWa+W+TiAQoFKKxe/wpUPGdVxhlu
Q5qIiv17d2j9y1ppt31nlYduEz3o1fgALoUTftLCHZKfCDE3M7amBdQ68aBtOr/A
9yJIxvQr7JQTxLNUhqHh
=BIwa
-----END PGP SIGNATURE-----