<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any
Version: 8.6-4
Maintainer: Debian OCaml Maintainers &lt;debian-ocaml-maint@lists.debian.org&gt;
Uploaders:  Ralf Treinen &lt;treinen@debian.org&gt;, Samuel Mimram &lt;smimram@debian.org&gt;, StÃ©phane Glondu &lt;glondu@debian.org&gt;, Enrico Tassi &lt;gareuselesinge@debian.org&gt;
Homepage: http://coq.inria.fr/
Standards-Version: 3.9.5
Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq.git
Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq.git
Build-Depends: debhelper (&gt;= 9), dh-ocaml (&gt;= 0.9.5~), ocaml-nox (&gt;= 4), ocaml-best-compilers, ocaml-findlib (&gt;= 1.4), camlp5 (&gt;= 5.12-2~), liblablgtk2-ocaml-dev (&gt;= 2.14), liblablgtksourceview2-ocaml-dev, texlive-latex-extra, hevea (&gt;= 1.10-7)
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

</pre></body></html>
