-----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.2.0+dfsg-4
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: 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.4
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, 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, 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:
 651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz
 202bbe73cfc705e9e922a1fdad9e1642cb054ad8 28296 coq_9.2.0+dfsg-4.debian.tar.xz
Checksums-Sha256:
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 2fc8e56ef34cbf53beb60976a055942c17ef0977a8ca01b05e5e3c15f3e6ff28 28296 coq_9.2.0+dfsg-4.debian.tar.xz
Files:
 a33dfe089575d328913178abf6c5b41a 3946088 coq_9.2.0+dfsg.orig.tar.xz
 9b1cbff11a681ca4ae0e811b3f740161 28296 coq_9.2.0+dfsg-4.debian.tar.xz
Dgit: 7763b6fcf5ef62bd656dd7f75f00b44d7ae903e8 debian archive/debian/9.2.0+dfsg-4 https://git.dgit.debian.org/coq
Git-Tag-Info: tag=e0a90a159f14e90d15e25872473065eac5f58932 fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stephane Glondu <steph@glondu.net>

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

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmqNgRcACgkQYG0ITkaD
wHnLXQ//UZBrbhgcSJzISrkrOXTy09EqIWqcODLLay2t/jcjUzoz7XEi/Kf8zUJQ
mG01VYvf9TtZpLTbq0M5a8cJbzvOJ5pWDdGNuxvXDndNLTcJY+UpNtZ35pcz8WGW
1zU0oJOaNvsAnxwA3ScRUOQ9WBeO0xuQBY1WS+C02MElS3kmbovOJ/kGP8O1eq7u
4BY0X0KLjE1B8nzZGf8qTSQMgrnZVlrtmfU9JFNqLp+OuDB3s+mFd22Apf6q5mi3
gYt5uSDGdY7a175sYXnozLLmAyAaPPC8CEwaEviBYugOcHtwVgBp7lxvdVmTCt2w
BuX/4rMClqN6RhTMLRHQE/Ej1gyg+XZn7B0UOf1kMi+9uhGO5BfLLuXyrAf4oUvk
JwqoVMGxRjizAchBs1iGoYoyvoj+Hyv1OYq516Pre7Qy/DohrGezMTL5hAW8un+v
Rv1/yHBbJWbtFA4aP+S+scf2+qX8nIzcC/gnEGWFlZCYEgnbF0gNtKSFy4qxOJBI
tjuc3Rv+VJC6CtSuK6w0d1NCYRwc9lKovYkp1tasNAHpOL2sA0RSoRewqCHA4wTS
UR95AnpoP9TP0d3KGcJk3jt0+PdbD53p35jgTVVwj0x49WAnWd6Ug2LgOODb4jCD
qJrho3op29eHzIzDxovGeFZIpSzhl8hIzHOJfgGF4qDQV6D5TwQ=
=5iNz
-----END PGP SIGNATURE-----