Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any all
Version: 8.3.pl4+dfsg-2.10.201403181003
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 3.9.3
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/coq.git
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/coq.git
Build-Depends: debhelper (>= 7.2.11~), dh-ocaml (>= 0.9.5~), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlp5 (>= 5.12-2~), liblablgtk2-ocaml-dev (>= 2.14), texlive-latex-extra, hevea (>= 1.10-7)
Package-List: 
 coq deb math optional
 coq-theories deb math optional
 coqide deb math optional
 libcoq-ocaml deb ocaml optional
 libcoq-ocaml-dev deb ocaml optional
Checksums-Sha1: 
 3b53467bf96ad4622da6bbb5e46c34fa6f791b7b 3154721 coq_8.3.pl4+dfsg.orig.tar.gz
 c029ad9b919be4f6b290423ca930b8d5af07e632 16344 coq_8.3.pl4+dfsg-2.10.201403181003.debian.tar.gz
Checksums-Sha256: 
 ebb517485af17302df9d76c7b7fd2257bf792352030f0b919638ad4515975bed 3154721 coq_8.3.pl4+dfsg.orig.tar.gz
 ad34454df3f075758956c5a00899958a464326752287d1dcbbe889cf80984bf7 16344 coq_8.3.pl4+dfsg-2.10.201403181003.debian.tar.gz
Files: 
 8ac619e898d046d90cd0b7b821cbeeb5 3154721 coq_8.3.pl4+dfsg.orig.tar.gz
 2074435fe7fae02d33375a206b50cbd9 16344 coq_8.3.pl4+dfsg-2.10.201403181003.debian.tar.gz