-----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.15.0+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.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-native-compilers, 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:
 48ac3b1751bcad0651f69567bf7407b362fd64b9 4669948 coq_8.15.0+dfsg.orig.tar.xz
 68f0990cbf957670f0cf82877dbfb20ae8b2f78e 39660 coq_8.15.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 dce3cc1633d9368bf4ce444e31bc837fa54d7cb186fbee50191dce03361d921d 4669948 coq_8.15.0+dfsg.orig.tar.xz
 9f1d0052d4973a1beddf9d2bb2ff5ff4e176d67a451f41ae4e6908962df57e20 39660 coq_8.15.0+dfsg-1.debian.tar.xz
Files:
 f6d50c68f8defba269e5bb26417c5a25 4669948 coq_8.15.0+dfsg.orig.tar.xz
 2fccf55fb354ffc7cfb866935b637d65 39660 coq_8.15.0+dfsg-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHlgZwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRLtkP/2ZjGvODzINicaCOEjALKZYX9TmIAAi4
qlpZy4N5XiAas0f1yIlSCSUqSCpIXqN9USSk8D8H1ZpL7JlGwiRxo8+Z+NwRiT+v
SiXpGxEJ7GlNswboM+uxVGECUgISUdQ0Awkgy5237eIudM22pg3la7W8bQlkDfop
bmeFvtPnpKdDxYup7fdg4vULgIGlbztNPLst43wbiYhkOCdGeHJZNVfKDAubA/Cq
cWo25XSaq1UNVlGHs/trV1/dr7aynBaShvkzyNdYgMWCVEaoNw9Dnky9Ewjs1kdK
Yx4LEFesbkFEF0J0bVJ+KAA1/HlhDbGCY5nQoZMyU2+GdbG6Fbkl6akw0coqtrfa
7YveHxNam6U06mPQSML8OYhYgJM+106mQoR1fcAAZaZGV4QBmlMe8hZwQ8+MIEYg
weXWFAJIe3t57tLTQ2MxaTukezAtNJ2EQR0mHfToDapor5T92M/hE60itve9sbLr
ziqAChWwSg3wlzvpWzhzX0IAsojSaXqg5qe3zGLobMfr/nq0KS3ZLw49Ed1Zl8tw
78Eo5l8Ipm53jXvnagBqpBNy6uXmSYc9ANZ4BY6EUD7tD3ZZvf3CBGU5f2cDbrpq
aQKO7PxVYRyTOsIN6QfQRdMJB6I+PAGjfGPVVMJVhS6IJcI9rg639Oba2E0QMklU
9yzGHkVxpCi1
=M/lr
-----END PGP SIGNATURE-----