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
 02a44bd7fefcc3b70530afe793248003dcb98685 3112 aac-tactics_0.4-2.debian.tar.gz
Checksums-Sha256: 
 6f2d82ec83d7d4ae818ea10cf9865c0bb80ea1de8231eac065e6170dd2cc505e 77336 aac-tactics_0.4.orig.tar.gz
 f547ade5d27295ae984fd1157451d9070aff71a1b3edf52ee3f4598cce8e61b5 3112 aac-tactics_0.4-2.debian.tar.gz
Files: 
 6ea20f8288d6870d3baba0b5c940a9d4 77336 aac-tactics_0.4.orig.tar.gz
 2d1d05edca1dfd8fbad9d675991afdde 3112 aac-tactics_0.4-2.debian.tar.gz