<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: SHA512

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, libcoq-stdlib, libcoq-core-ocaml, libcoq-core-ocaml-dev
Architecture: any
Version: 8.15.1+dfsg-1
Maintainer: Debian OCaml Maintainers &lt;debian-ocaml-maint@lists.debian.org&gt;
Uploaders:  Benjamin Barenblat &lt;bbaren@debian.org&gt;, Julien Puydt &lt;jpuydt@debian.org&gt;, Ralf Treinen &lt;treinen@debian.org&gt;, StÃ©phane Glondu &lt;glondu@debian.org&gt;
Homepage: http://coq.inria.fr/
Standards-Version: 4.6.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Testsuite: autopkgtest
Build-Depends: bash (&gt;= 5.0), debhelper-compat (= 13), dh-exec, dh-ocaml (&gt;= 0.9.5~), dh-python, ocaml-dune, ocaml-nox (&gt;= 4.05), ocaml-native-compilers, ocaml-findlib (&gt;= 1.8.0), camlp5 (&gt;= 6.14), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev (&gt;= 3.0~beta8), libnum-ocaml-dev, libounit-ocaml-dev, libzarith-ocaml-dev, python3, rsync, tex-common
Package-List:
 coq deb math optional arch=any
 coqide deb math optional arch=any
 libcoq-core-ocaml deb ocaml optional arch=any
 libcoq-core-ocaml-dev deb ocaml optional arch=any
 libcoq-stdlib deb math optional arch=any

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