-----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.14.0+dfsg-3
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.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Testsuite: autopkgtest
Build-Depends: bash (>= 5.0), debhelper-compat (= 13), dh-exec, dh-ocaml (>= 0.9.5~), dh-python, ocaml-dune, 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, libzarith-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:
 1cebd1e8d107dfe885dad6be3a6adbd80a7b4d69 4612184 coq_8.14.0+dfsg.orig.tar.xz
 bf71610b007fffbd14d4ec11dddd84d3e4a8ae1b 39608 coq_8.14.0+dfsg-3.debian.tar.xz
Checksums-Sha256:
 7676f1a7ff01ef91ed126db8b07faa2403d9d0404ee7af44b9a1e7df288ff512 4612184 coq_8.14.0+dfsg.orig.tar.xz
 11c64a15c95110d63b467e54d0bf933fa134fff2418fc3a156c35b3d1e287daa 39608 coq_8.14.0+dfsg-3.debian.tar.xz
Files:
 c7d98331b270e6c20b734deb1cd3f049 4612184 coq_8.14.0+dfsg.orig.tar.xz
 72e5b0adad20523bfe3a7b851abe75df 39608 coq_8.14.0+dfsg-3.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGPoLcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRdasP/0Y/vF0JpmQvofjqqO2lBqjQZMz9K9zw
w1o180yB1NmFGQ48dqbv8Osi4Z7tVVidfsCpxsZYMSEqeguIS3Z3WQlqUZLgqn5N
gHmqfFy5tL2+FaBXlHHAiTzZRsnIv+4P8m7fKQLKmsNj9UBKz9NW4YxucbV2T2pm
TKB4J5KXudGjYbRPHIA0dbem5KZ0+yb8JUQb9Lcp/OF8Eui5Tw9ved2+PnS5Tq4G
QlNfsLIIeJmy9z7HF6UQt9426DsJwZ8KMPuyWPgHH+6D7cFX6+reT79iks9JPdHL
6lq5NAUsoRYGo6kWCsn2pXY7cFhZV2j9pdcbcz6LPVoGc0sz9r3PcBWjgrtqlKLN
tFtjD9uJV/uck3IrSlpgDyL1gcbJTrX6O1qXpZoqW6OJOHbglXJcAi0z/lBxKtLS
yWJDEtF4axNGccVLGM56RhmUQpr8uINU80OAI9ti74GpbUT/WhCiTobgPaF/nnOf
dUtu0YRFw775po2FeBakbFK/+9VA5iy7BEI2R63R8B31tX37OoOPxujBtm8tddAN
8dvx+i1YYOHGJe+LaaACvGtvWII8eGgdvT+w65mNFs0s2qkX2vl0N/NpDafZGRRA
AE25TuEGJLEnvXTQbmM8SIVgCOV7pE0mYYxaqARd+qd17SlFMTRlNxcGTpKTwEio
7q7gvtHKBzh1
=IPpq
-----END PGP SIGNATURE-----