-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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-3build1
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
 3f3e93a4b3ba031dc71e60c3c2f455febf3b320e 32956 coq_8.19.1+dfsg-3build1.debian.tar.xz
Checksums-Sha256:
 27e8da966b976fe64c496b81da2c90477dcbecea6f8af4424e9caff06d419350 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 56af0e18e625d422be063ebc94575e3990c3aa12b429d846f6a4668b807c0d5e 32956 coq_8.19.1+dfsg-3build1.debian.tar.xz
Files:
 dea6de51a6e8218824751962ae449098 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 bc6d3fd0b502795554293def55d903a7 32956 coq_8.19.1+dfsg-3build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAma2EHkACgkQ808JdE6f
Xdl77g/+LKcnMjArEd/swJ/5osSOpGVqyXhnYf5yc3XUOb2+45rz/QnPHcwUhHom
VOWDVXUMKPlAE97w9khMHpLDFe9TtcVV5RxXNQuGgIjjSTDAsXLxbsVrC1+D0hTr
cyWYPhWDupkfMYclxMSBZqLZjU8QZxGXgqGXz5vQFG841Kfa668SAuQcvIqyGB+C
m0Gota5Zr9VeERBQsJcAYNWbfDpOfbv60dmNX9OJbQqoClYayLeml6s32a26ra3C
Jsr/5DtMo4OaX1cqghrTswLpSPHFh5UFH3dYymjrM9qxDvjsg1RryS9hsSXf/+gj
G2srdCcdMULMsu9XUpcKfbPRBfU3bzCWlzitTOfjpzkR0xJdfjkf6GJPi2T+EuJP
a81IyR7o/2VZvc3XDgtVL13L085kiv+59/mnu1c1GGB/AHhThrMw+4S3BlRalC5y
EXwG4/nwv8tdPXzb41O0qZnSEfxkvULrXKM/dzAb4VAy13a5+IYfHnlMRfJtIRsR
iZnfEPBVp2IsW6K2yXmF0f6zKoAEL8tjqU+l6L3VswqAECUNSuR8w34LQBth/uuQ
W/uP69PbBsiS5b0oqkgYy75uoQR7ymbPwx/9FI90+uWlQK3BvDhnl/Iqe1QSIhan
5wm28BKCF+jzAlSH97SFoBKRuo+APqpp1yPV+xaeQBqC273MWlU=
=sgaJ
-----END PGP SIGNATURE-----