Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any
Version: 8.11.0-1+rpi1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Benjamin Barenblat <bbaren@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 11), dh-exec, dh-ocaml (>= 0.9.5~), dh-python, ocaml-nox (>= 4.05), ocaml-findlib (>= 1.4.1), camlp5 (>= 6.14), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev, libnum-ocaml-dev, libounit-ocaml-dev, python3, rsync, texlive-latex-extra, hevea (>= 1.10-7)
Build-Conflicts: libcoq-ocaml
Package-List:
 coq deb math optional arch=any
 coq-theories deb math optional arch=any
 coqide deb math optional arch=any
 libcoq-ocaml deb ocaml optional arch=any
 libcoq-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 2060835b376b6bc9669e6d0a01929c094351d153 5825620 coq_8.11.0.orig.tar.gz
 f58375b8be327a8ee123be84d77369411e22d1fe 31760 coq_8.11.0-1+rpi1.debian.tar.xz
Checksums-Sha256:
 578344b3f01c89af65b9f9902c4a07df8faa2b8f8ec080a53bd3f7848a91bfd9 5825620 coq_8.11.0.orig.tar.gz
 5be84bf473fc024b85e131f853f35fbd3e18238b96285870171e0ddfc46fb480 31760 coq_8.11.0-1+rpi1.debian.tar.xz
Files:
 ea1c950f8864e16455823006104ce30a 5825620 coq_8.11.0.orig.tar.gz
 3a69ad6266af750b12ad69540d58ad69 31760 coq_8.11.0-1+rpi1.debian.tar.xz