-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq
Binary: coq, rocqide, libcoq-core, libcoq-core-ocaml, libcoq-core-ocaml-dev
Architecture: any
Version: 9.1.0+dfsg-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Benjamin Barenblat <bbaren@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.7.2
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 (= 13), dh-coq, dh-ocaml, dh-python, ocaml-dune, ocaml, ocaml-findlib (>= 1.8.0), libfindlib-ocaml-dev, liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev (>= 3.0~beta8), libnum-ocaml-dev, libounit-ocaml-dev, libzarith-ocaml-dev, python3, rsync, tex-common
Package-List:
 coq deb math optional arch=any
 libcoq-core deb math optional arch=any
 libcoq-core-ocaml deb ocaml optional arch=any
 libcoq-core-ocaml-dev deb ocaml optional arch=any
 rocqide deb math optional arch=any
Checksums-Sha1:
 ea9485b976b1652b14d1e96dae70532a065d6ab3 3834256 coq_9.1.0+dfsg.orig.tar.xz
 a5c933b0c535cd4efd84c6f8d1c4b4ca71454f63 24136 coq_9.1.0+dfsg-3.debian.tar.xz
Checksums-Sha256:
 940a840ebc3cc121717c6ea3005aa8f10798b3621294d747261f3b7687c9e304 3834256 coq_9.1.0+dfsg.orig.tar.xz
 b5a4c6b32cda25e8410027066b523c79fcbf3b08f510e07fa5014acd3baed0b8 24136 coq_9.1.0+dfsg-3.debian.tar.xz
Files:
 e97eb71f058e107af706cb869e55d7c5 3834256 coq_9.1.0+dfsg.orig.tar.xz
 8b2902579aa128ed1c0e14de66109a7f 24136 coq_9.1.0+dfsg-3.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTbxwZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUd65D/9qYMfKkdnnoKXYwS172+EG
DT2iYJHX1mfLxrOFrvEdH1+jVJS78adpl2emkhpxc4ZDELACRQpgCAXNY7EPka9l
SVf3uw4xxZdOVZDfzY1Cpa3aJ8P7GOzUQAXYZcstYq1aZD56njfiS7OfbDFY9DqR
3v0FKvoKagQV9CZlM9JY803C6g3NWddCwdeiGu9fRjjNySr8JEEsLzPRpHzEBAvW
ClY6O12ZS1yDkJ+irZn1WdZegfzKdLyWZKL29OUmKXPUp71h934UBxajJmq8tC+b
Obm6sYpaXoAnrgzmDMWR81An1l7bn2P8rwQoXeZUmwkVT7pohOo69gZmfvc3WS0h
FAVFLh3/3/DJbI5NH0TVz7bokyW8NcAX6eWMoBKmnv/0B3fa/0Wo89//2wFB2miE
p8cuYyzywStM7/pO4X/kG81pxAAw9F/2kuq8aFzKQjKnA3oss3DawFtxLi5I2pxn
/nlzUSZZKlMTUfxTnodCw9+SpQbqLW1QgNEKPqmwLsYCB4sNc9SfLvKafosPvZUO
G1XoX23nSPQPyfRpTGHwYifbXIVapfz/f2heCIdWdz/7AX8Jmi/3vUR/RToJty37
fs43XGJ73LuTZZW0jFAdkXdZYERfvIQl3elW+x0A+0p2v/SlXE3OqpHQJ6LyieGr
aIbAlKIRXtHbQNBcxUEZPg==
=cP0h
-----END PGP SIGNATURE-----