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

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any
Version: 8.12.0-3build1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Benjamin Barenblat <bbaren@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.5.0
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-exec, dh-ocaml (>= 0.9.5~), dh-python, ocaml-nox (>= 4.05), ocaml-findlib (>= 1.8.0), camlp5 (>= 6.14), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev (>= 3.0~beta8), libnum-ocaml-dev, libounit-ocaml-dev, python3, rsync, tex-common
Build-Conflicts: libcoq-ocaml
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
Checksums-Sha1:
 5c1cea54844930f2c4d3fa5ca48f94d8b9ac6aed 6008211 coq_8.12.0.orig.tar.gz
 3e5b119383e54074c6c67638c57e2bd71a3ae4ad 37840 coq_8.12.0-3build1.debian.tar.xz
Checksums-Sha256:
 e2c784fb8545718819f44b85518b5572226faa1e34aa8dc4d5d9e64edfbc0a39 6008211 coq_8.12.0.orig.tar.gz
 3bd5fdf81a296e5725157ae048fa68df85622fc2c5c82a08e39b21d9f1d00da4 37840 coq_8.12.0-3build1.debian.tar.xz
Files:
 fb63dc40943c353977fe4da5f0e88002 6008211 coq_8.12.0.orig.tar.gz
 c59cc5d0e2f7886754e41e5c8101554c 37840 coq_8.12.0-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEETQvhLw5HdtiqzpaW5mx3Wuv+bH0FAl95GooACgkQ5mx3Wuv+
bH2uaBAAg3JM4XuAwMefKULgB+2V5ckFmhoXeURaZddMkrZPkt0mL9XO0HJo6g+Z
E8XDDw8O0MZ37lpe1mOW/CKVi1kPTyLMgte7i+tljS6CcSay7imed5qvPqtompQv
6LRv23dGTZ3ceZVQCjmkkL9G83UpSlbph7wt6XQpUWtc/mxSZJRbvzuuPzVMSxsj
qzcaFdei4mZ2USx4M8wu9kxBpNs2brHVf8g93angPhtdFa9PJ95yBtNZd3O4pm4l
cfxwbQBulti6TLip/wb3yPimr7kszRn3z3EO/m3xlYM9v9fwqAq7WA5h1loCYu+Z
HTDnwiXa5dTgIAocHbpg0hthIqsNQHKHr1UxGFWUfyUBHzEMWPXuRp9acitl7u0K
rZwdwNnF5hI2HCNqfcTYBB0jF9Xiz4dSXhFs2Zzp7clSr1U6aQXfIqh5zfdeoAHj
Ha8QmNb+69+PvSO6IWOeTkpXQydDI6MYR7nPE6xaYLVtWbGwZtKcOn/sxP4qgn78
5w2BZhsKRHORXnnf18/pmjyy0jq7eYwoPCUtxSM2kn/JweaNonCmrlKwHsg2dWZM
qqMl6Lw3gYre5e+f3vPemAdSMSMN0fHxc7YGLZf5VMZdUI8A7fneO9IRe3Yu1usP
U4ylusuKeYlWbT5QoOlxUn4Ir21e5nnJwaWSsJKzE1/R9J6EBRk=
=Hj3S
-----END PGP SIGNATURE-----