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

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: amd64 arm64 armhf i386 ppc64el s390x hurd-i386 ppc64 riscv64
Version: 8.14.0+dfsg-6
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=amd64,arm64,armhf,i386,ppc64el,s390x,hurd-i386,ppc64,riscv64
 coq-theories deb math optional arch=amd64,arm64,armhf,i386,ppc64el,s390x,hurd-i386,ppc64,riscv64
 coqide deb math optional arch=amd64,arm64,armhf,i386,ppc64el,s390x,hurd-i386,ppc64,riscv64
 libcoq-ocaml deb ocaml optional arch=amd64,arm64,armhf,i386,ppc64el,s390x,hurd-i386,ppc64,riscv64
 libcoq-ocaml-dev deb ocaml optional arch=amd64,arm64,armhf,i386,ppc64el,s390x,hurd-i386,ppc64,riscv64
Checksums-Sha1:
 1cebd1e8d107dfe885dad6be3a6adbd80a7b4d69 4612184 coq_8.14.0+dfsg.orig.tar.xz
 a1e33e5970f1c72cb372b75976587262af8f2a27 39844 coq_8.14.0+dfsg-6.debian.tar.xz
Checksums-Sha256:
 7676f1a7ff01ef91ed126db8b07faa2403d9d0404ee7af44b9a1e7df288ff512 4612184 coq_8.14.0+dfsg.orig.tar.xz
 06f561429ee4973e0a99c526d6dd48e5e4de568b9f7ee211c520c06ba855b580 39844 coq_8.14.0+dfsg-6.debian.tar.xz
Files:
 c7d98331b270e6c20b734deb1cd3f049 4612184 coq_8.14.0+dfsg.orig.tar.xz
 e15e87eebd8615cb7299683842f244c0 39844 coq_8.14.0+dfsg-6.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGTX5cSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRaIAP/03SJ2Y66H1d9QHvKQCLx/L5e4dX0BNY
+IMKQr1sFWL0Zv7PDY3uzpZ95LPVNhVQRV9o8DQGwDrfl7F8g1j6k8CULYBNnpPm
FvQLuThNLTzND65vgJZNIm9oz+aEf4VvvuwFKxen5dXR6fvxtKX2jhad/jM8KtWl
G38BImRAM6VrypP/qiF9K5VAoO7iDsJDv4cg2xyB83Cu0MomodpR7WaGkt3hHLWY
9UozP/xvsK7/gcvGtct0gktgHfLL6JLZtG9zc3ITY5eZZB6TyiFnsHOTp4Ze+Ro5
zM4nbc6RJz7uAAnCdEM39dwQ8M5aoLcpSvIkBb9wNw6zkBdn1CQd3/BSll+J8XzB
O4EknAG58DPLutBoZ9xE85xam6cxDEjPbIGdzFN6WQ/sf8DI5qdfz4VJSeqnjuLe
luHBeEzeAcT7S3n4eyEHabNNxUuvM8AOrsI/kJVIZTyvCpL5CsEJ3q6jvZlf/nFv
WJT6FyUUWh1f9C8xNwkhu3nd73qwXPIyxTbWQp9AMZi+JE+65oe5nBdR861SopBN
sorq1PraIz5vK7D52Ifxz6plbQT1MKGiITSd+LMh2ncYZ4nwK0t5hhOwJ2krl4bP
LltbszaabJcqXNxKGBMbHf8Ub592IwmFoRlJLWbCfEx0AO+NJaRDEJ9YSPvOVBPl
5yRHm0uRUHA9
=Mf8u
-----END PGP SIGNATURE-----