-----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.20.0+dfsg-1build2
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.6.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-exec, dh-ocaml, dh-python, ocaml-dune, ocaml, ocaml-native-compilers, 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
 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
Checksums-Sha1:
 da4396e9768c936d4738de3cf8ca5a7ce74634de 5012820 coq_8.20.0+dfsg.orig.tar.xz
 2a6fc15ac657dfd98ffcea6b3fa8200bc0fbfdc8 30248 coq_8.20.0+dfsg-1build2.debian.tar.xz
Checksums-Sha256:
 6c0f7bcf705a4c62a11a8445326949587606c5e4bb32582dcf5c3fc5478677bb 5012820 coq_8.20.0+dfsg.orig.tar.xz
 f4602a1e9ff997285a0297d77d2d308e2e6074900a6e287df19b99ed62d88df8 30248 coq_8.20.0+dfsg-1build2.debian.tar.xz
Files:
 7f8934a74ae494a3049e1da65916174e 5012820 coq_8.20.0+dfsg.orig.tar.xz
 6d8a00fca3370a30d7fecaa5a3b4cdf9 30248 coq_8.20.0+dfsg-1build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmetBsoACgkQ808JdE6f
XdnK7w//VkCadcCCd/7IoQ/OUU5fCB2a+dx9RG4QaRI/gOe7CT1A7HPbsQcjedii
i9dO++UgV/hNodjiW0JlDkajbt9vk0gVwM4OjMGeeWV+/0Ls/4e57HZTjflzWB6P
fAeILNC2qEnSVUVvhzSNJhFcj4Xj62c+nC0wE8AXa6QCwJj7/TjqoIVkmqFUpTnj
bKky1IHuT/gcQZSiBBLG7UOL9WGQA8QCMDZu+FjbRtaJeFcwdPVW1za04v4hj1oy
wkPofXFMaH0/wF0y3P98tHvdRO/mZ+imoybHr9rfgDmEMQKnhx/8TltTN+qPnian
YTCIyVsAMy7fiE5ytfarTIBlP+zEepNQ508CgIcyDkzkb70XvgtvjtArCvN1RQck
8gr4oofTpR0SPY7meiDyEik9/kUGEx6omKJpldg7GWXrlt4mjnTeGQhrGfvCTe6r
uMQV/UaWqrUXHUgWTEjoIz8ZkZr4Q5K4CbmZChZWwf0iDIdsszLJYx5mCyJWQc6c
umkTg20rX+YAkIMNOeBlKzEGsgG+ifnSbQ5sFsZOFuW0r30y8vyR9XWLqI423d4n
U5ncShmzBi+hqk8XRCUBFYgVk13kUoygqbhhk6Do/oZzM6fZz0CdBpI6MGoiBxzD
a9lF997RKAuhy10gGpOzOUTaUwrb1GdMlP1J8dMIPlyx4lsPbkA=
=kSuH
-----END PGP SIGNATURE-----