-----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.19.1+dfsg-1
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:
 674cd32b741c1235653e4a8737ef3f15e3895259 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 007830d7ce983fe895c1a8175c51f9913be22bce 32828 coq_8.19.1+dfsg-1.debian.tar.xz
Checksums-Sha256:
 27e8da966b976fe64c496b81da2c90477dcbecea6f8af4424e9caff06d419350 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 630c9ddfcdb5ee1349050f831ed86a614a66f399bf12ecfe1addcc79689087a9 32828 coq_8.19.1+dfsg-1.debian.tar.xz
Files:
 dea6de51a6e8218824751962ae449098 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 f71efabfc0ab53d7d84d9c817bc56dcf 32828 coq_8.19.1+dfsg-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHykYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxiQP+wZDDwfHS9sxGO4iO13LukAqBRvsR2FC
BmR76QE/k2VOR/lLV/zieYGfGMxYyQdSYwYw2xG+c/jYJCTM6OIaGWVHT+qgVSFz
jimVVEej0WLkSd+/IKj4Gpu4lrpi9soqgX6I1zYn3C2Gvb1jqmKaau936A9sJ1d1
bu2b6BYhMPerXR2NGBz61gaiNEHxX5oL0jbv+AQmI5EbRAZh3pBWF+9CCG6KJI0K
zjpstPYreXpOq3M4AZEcq7jJv4Z30NNs39nQmNxdXC9y6cXcpvgNaL1Gwxt0eeRV
5keskaR3cLDLmXbqluTuC/sBLaDf/B/69VUeB+dCEQITPli/99PjFcs/WA9HhaJW
sic5hcTJMo+Vl9eolIZa+/RnUMR8J1U49DWUJ6PO6KiGo5j14GFVT417bG3MX9bu
5nKs2pnreGRpexFMTSpiWaCk8cOsupCVR7W38PA/DHG/xD/B6OEmxgyA45U7JHu5
W1jcdY+K7kCO4Cdo/ZqJqShg6lqBDdSTjqltQiULTLciKhWzuX/z2JldypAn0lff
+KLdrCxLGjkRUKfATd2IJ4ESUOSeDElSTiAuss+293hFE9uJLgYhtBa0de1L6a/s
yF2lPJDSirZ59Z0QdXxMrCJiMhCiSRhchZWRwfQnDuk4pZ/TK8CdnnX4R0enuhvR
XjDzVVjgY2hv
=p/xA
-----END PGP SIGNATURE-----