-----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.15.2+dfsg-2
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.1
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-coq, 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
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:
 e6709b12f2ef7fabdd269f2c5dfd1f9268888177 4673192 coq_8.15.2+dfsg.orig.tar.xz
 13c9e58644622abf2707e8e7dbe3268da1a8fa05 40124 coq_8.15.2+dfsg-2.debian.tar.xz
Checksums-Sha256:
 53cbfe9b7f1b1bac7f84f13acb9ca4082e3b3483c336267d80047214703991c8 4673192 coq_8.15.2+dfsg.orig.tar.xz
 623be694fd78e147608bd20a1e34593efff5f8d28bc4597d075fe8278f22c6f4 40124 coq_8.15.2+dfsg-2.debian.tar.xz
Files:
 2cf170d94029eb59a01534d21f222dc9 4673192 coq_8.15.2+dfsg.orig.tar.xz
 1340e15f0dfc36eab8ddf7567dc5e3e4 40124 coq_8.15.2+dfsg-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKk+LESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR9xMP/jYKeJm8QsmpBxXjDEPORfeFIhGaF4d0
mcgLQU9tul9oL3RuCZAyk8fxuVd0+6EiYmO4d9nkx9WFb4PjMqqjs2XFsOS/7G/9
VCIm8lQSys+6aa75roJyKZiaqeEzffI9qRPs0ciwCzEx8Zhfx0EylNGTVTKR3S/6
Ptg263e37Pahv3tFwAq06RNf9n9MqN4YD/mxx7SRXDZiqAFH1exxhVmshiPIuzup
sChAA0B76xWwpp2cfuzB47PJG8vjTMJGnj5LHMVB5JUG/R62EUu7G1QXmA+SDUH6
BLkjDLD1FRYvR6NH6oCzFucCKskJMCUS72p8e2C5BJ31MKS9M/DnFeF85jTCU6ZA
+ghBrgK7VULin6CDU8PJse/2f1/lF/8ApDtuOmkvMYb8eBiVBlnPG0HhHEQzrvA0
rOygtIeX5q84HS9LQitKfi6PnZbVTQSgjG3/RClU2MWsTOH3hW3eovNHKdpciQt+
eW8Trdby69/ABj/nt/U7uaAnW4Uyp8UKFJF16af2jZbVPrZPPfzzWkSnT9tAKjRv
7Bx1zPX73mFK8NmgDaIESipHKCtlXpVcoXWkhdnMWxY9YwLWihBQV9IM1p4FUou4
QxPEOlmTasQf0jAevjfxWO4woHANH5TcLo7c/TVlj9egAuuUB4JD7Ak8DNQ8r34l
hyZMUJa6jeFw
=bj5a
-----END PGP SIGNATURE-----