-----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-2
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
 265769c59b4adec4dba16054d76512a30561eb6b 24092 coq_9.1.0+dfsg-2.debian.tar.xz
Checksums-Sha256:
 940a840ebc3cc121717c6ea3005aa8f10798b3621294d747261f3b7687c9e304 3834256 coq_9.1.0+dfsg.orig.tar.xz
 75ea3dbfde967fa2b399aa8dc5954beee6ab4fdb742ef55b8a2c89a88c223381 24092 coq_9.1.0+dfsg-2.debian.tar.xz
Files:
 e97eb71f058e107af706cb869e55d7c5 3834256 coq_9.1.0+dfsg.orig.tar.xz
 cef4c3a31210a5fdb587db878a4ac5f4 24092 coq_9.1.0+dfsg-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBUaUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWsED/9L/k2czd9ZGEjjuJbrBLpw
+u6/be5ikC/ae/UH3C2XPouLFNJoEmGulF5TM2XoyAENzpGj0bNAjh1z85coZIys
ifJFKb0SDDST7WhMAupa+E53bFJss8F9aKWYTJsSBHsdLa1exz72FEzMwUtJ5dnZ
aXihk+aazBiY2XEKLDAV8B1fE1cAwGsCvz8pcExo7iQT59C2Lq14dx+AwdiEGwoC
/207+Whma5zAYKnC45hGH3+aWHGtq3k9gUA3Pc6zw8dVioGkrq02NaiNgNFiPQNl
DOmHE7V/hLiGQsQtKI44QkzHbfNpJ0vIIlyXYkCK5+VQLqjLy7e0IbPdRdZgB6KK
sjghUASLB70z6WE+5Lls6706Nt6iOhqz/5raG+K5pG2N5Ss0v+fq0Me85fQn7oIv
C7hUACL+iiKIUnxcMUtG8gncGmZmAvX19P0GL/+LLYEvjuZ1QfxqJv5oM2oyHv40
rpDuHIizBzjT9Wz/0TgOL0tWv96K8mJjMmfMyBBuWmWRPZiKEylnYcDCjZS41jvn
dkeVONmC6BEVt3ZznDA3W8datAlkUt95pkwDDOImCNJfLY8OfvdkM2CAqtOubQEw
uMzSuARGOG0ROBecA4pe13pAepjRJZ8JT7j2i8fEBYNlMdH3dhf3c2OjgCjS4JFy
H1wE8yGUkGDzDcXf8rMAtw==
=Pr2G
-----END PGP SIGNATURE-----