-----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-7
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
 61f69736dcc88a530a05662f370ee299d7cd64b4 2746 aac-tactics_0.2.pl2-7.debian.tar.gz
Checksums-Sha256: 
 803b5e647ea801bdbe8a12dfaa1941160dd6d7dd33c238a1cc35fb0005611ed8 77409 aac-tactics_0.2.pl2.orig.tar.gz
 b443a4d7e21a947ebbc19e5b753d9b9417b3060e801d81db4787f91665a89a63 2746 aac-tactics_0.2.pl2-7.debian.tar.gz
Files: 
 298a83eaf3f6255542974e054ba1872c 77409 aac-tactics_0.2.pl2.orig.tar.gz
 715fca2295c2106c644ac9a405fe3824 2746 aac-tactics_0.2.pl2-7.debian.tar.gz

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

iQIcBAEBCgAGBQJP0wrjAAoJEHhT2k1JiBrT4LkP/jgPEvxD3txuPHU24McNCG+g
GrpSMcKSet6sq60CVX0n2T0Un03vKeGVw0pjoQBy4dzg90wlzh3cVtlFsjvzh+7U
EEfdAQ4IkXtFcXIg/v4vUtLfC92VAtVCD0x9LDUpXpYLf4XIdYqjnCl3jhGk7Ivd
SP4uP9uQk3HCVkeOjkYfRVXolgEID54z+t0wez6m6R9naRhFBVRra8cxzJ4NBp8y
kSjEdbxKNXr7xP5VHyT92gL31ahS8midhgQjOK5IO5RTc5Bdaa9uTcVc5edTFkrS
x85Xk4zRJEzxsdVwoI1dg3Hdgn0Xff9kw3dfWFsljBXUzM1f7Pe0tDy9ubLYl5aa
dnZ2T1B0sqnftlNPBB7p/8L6kx9plFawxUoKSJ1dPXez+K/B+yiTeiQck6AZ3KxQ
4iJk5vsJPf9142e6iKYITkh37fmHUy5ln8lbeBn7J3xw06NY5HzCogeNamR4nwV8
AeEwCiK5lvkEAD/j13XXQw0jIkFnL8MlAUDaQac9wXr32aNSjloYMJa9w1aVvK6t
g9vbecMP2CvwleuOkNr4CZi9qC73c8IAi3Low7F9feHABnYQFpKolTXE4NDzsIxD
XwxFlSSq/Ga3em+UwIqg2wumlTW/YL9Ed7s5wOgHc3+rxe3NAk0xDEZw3X5dmPhA
8Q1LOgbpyKtGt35d46MA
=4n4p
-----END PGP SIGNATURE-----