-----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.16.1+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.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), 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:
 472059a6b99fafeacd37a08559bc02db30515617 4717668 coq_8.16.1+dfsg.orig.tar.xz
 42cf3fc84f6d6ec544f3490df8baa202a72ba8b7 33236 coq_8.16.1+dfsg-1.debian.tar.xz
Checksums-Sha256:
 d9cee0ee2889ad2ef3be6bcbedff6aadd14afe861c81d427b34c6be56c677cb3 4717668 coq_8.16.1+dfsg.orig.tar.xz
 9a9cae6934a209c895eeb808e503eaf001aa7fe0385b9f54313d7b08bb24cdab 33236 coq_8.16.1+dfsg-1.debian.tar.xz
Files:
 79d8714e248357dca8caa0b3de7f5f22 4717668 coq_8.16.1+dfsg.orig.tar.xz
 dd0067c115de71a799868e942a4bd615 33236 coq_8.16.1+dfsg-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOFwucSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRtdkP/Rz7tRbKMdVhaqKsA0aWbmT+YhObT1rZ
ao73pzuxM7J+w8EjsQR7RuXdKH1k4sfk6kMG7i55oWxmOoTjhSkc6VILLYe+mdV3
/OO5i1mXIwZuG38H/6A3GtuvRG0uuKesHPMVLKsR2ArG2M3CtfOsFw7RioMJVaMv
xH4aBNtsQPM/eF8NwosVxN29hZylw3xO8GrGEHEVgRAk5aZ1xTidgu3HXi/0TBMG
5sZNUD5doEWp0L+e5sFF3bL8MhbdTT5jFGjA/9UZX8kp3kB4q48HW0UluZtk6OR0
n6mLv6Uo7lWBj9vVg4i7ecZNfyXe6CwuoF+f7zrAwX0cw5vJVd+zsKYDO6wGADXQ
COIoffn+0XMs7c6ACgH1PWxEGfxyqb2Ov8DWspljkvmRrUMbBgbkySgX3UOP74Jq
rwJCn+p8/9z+aQAJA4CwwCaM+xVLVLCAIIxFdNktUVa5O8t3pkA2fPvjl6tucfXb
tpi2bfC+fO1EEJZlYPHHvhcf1Hg6EiFtoC5+vwqji5rhiikJSGUARD7c4tehJwJM
DPCp5IEMNC3I/T62lkyu+NvS5rNQnO7WO5nENxz9BLuAcK7egrbLz+HAtp6U+eje
K2SY3WXoDPDHKUo+uf6yzsL3I3sW0Cftk6rUa9pdSuaP2zYh2fyRVpnc8aT18Poh
cZaWhgYFq4ak
=qAwt
-----END PGP SIGNATURE-----