-----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-2
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
 libaac-tactics-ocaml deb ocaml optional
 libaac-tactics-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 b01df835b1f47b4465b8e4d595f40ee336564779 77336 aac-tactics_0.4.orig.tar.gz
 0d3db30d7863baefa6e8571fe36500ef198b7ffb 2884 aac-tactics_0.4-2.debian.tar.xz
Checksums-Sha256: 
 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz
 ca3821d829cb1e0650b6b37a74c2080dc387f823257d803355b362d52d523dbc 2884 aac-tactics_0.4-2.debian.tar.xz
Files: 
 6ea20f8288d6870d3baba0b5c940a9d4 77336 aac-tactics_0.4.orig.tar.gz
 dabe46c2116ca2c60400d26cea44a08f 2884 aac-tactics_0.4-2.debian.tar.xz

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

iQIcBAEBCgAGBQJS3NA3AAoJEHhT2k1JiBrT3VAP/3EpCD+EOtWuUfhauKAR39mn
qnbM6FOMegM8vXhjMQ8eaY0b5n5hfGatLbihvTM6wXGS+Aey2gPOcpI+sRlJlGeO
b1xhLR5BivUgkYsFtCJ2CegCVstnSZpiBa4FzCVCwkCNHHCCfbp3ObFZv5OjyZeB
wAP/gFF5Nql70l2hG+oV5hQEmM/W5rt7a7r0nW1h+zrhemuicTJDMkSaTr0x5Qwu
a2rB3lpdjE0Qa4RhG5RlP2QbUItvKzqngwtRV/42kTMx+txJR23KIx+yBTfUFK86
8CTLRV3bqEMOk31tHvdbjt66FZ2F/km8vGllhs0GcBFHOkOh2Wxy9yIXttCBZCXq
4tyqkWq4j+QBZRhqUi6V8gof+hdJpReKb73/hzJXehKNltxM2tfxTLmqyD7SeLMO
JbCqOPG96IBVI1X4tUqFoEeqHhuX8uaMIrd4kOBeqBvxuJSRaZTM4urZZ5WnW0aO
OkuVNXM7xB8EXJSPwoZSeRsiKm8enIVgVuvYsawKciscBXwP+WiAPOlYZUy4f+is
ldCvfGTnoEWIUulkiq/B8ah2L76kqX/OQdhtK/TKi+Dg1lqP6GRYuoQSFp1MeH2D
GsCHYB/xivuXZ4RcZt/3aZL7BQZIogQOMBJHM67O94MWrDICa2sXlLI+wVIDbYIi
LzI4XLEfgdw2Wy7rDCew
=dyij
-----END PGP SIGNATURE-----