-----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.20.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.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), dh-coq, dh-exec, dh-ocaml, dh-python, ocaml-dune, ocaml, ocaml-native-compilers, ocaml-findlib (>= 1.8.0), 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:
 da4396e9768c936d4738de3cf8ca5a7ce74634de 5012820 coq_8.20.0+dfsg.orig.tar.xz
 ec3b3ceb2c7ef6593e44b5fdea09c9c8bd0551ef 30196 coq_8.20.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 6c0f7bcf705a4c62a11a8445326949587606c5e4bb32582dcf5c3fc5478677bb 5012820 coq_8.20.0+dfsg.orig.tar.xz
 22b28f6091524c62709bbf7e008dc2a4d4eaf24bf926c577f37a1b9677864ba2 30196 coq_8.20.0+dfsg-1.debian.tar.xz
Files:
 7f8934a74ae494a3049e1da65916174e 5012820 coq_8.20.0+dfsg.orig.tar.xz
 3ec7f17ef2079cb2e4a99430bc7d7bb3 30196 coq_8.20.0+dfsg-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9rmMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRHd4P/ixJdijh8Jn3PFoFH7Vl+meIfqhPL+T3
LYT+FndeD4+sysxJolim1rIEqDrrAKq3qgaNKlsWRF+8LGk9D94op3lvxDzu6eGi
h4HUTW+OLxvixaOnHyZnCQ0eQg/0SZQS0JqheEv7NZQpNbp8b2645dcJGi6wUJJC
Ewhbw/s4Ltlz9ijTn2jwTiPRa/dtAkOu/MaSMqqq+gxajnFawGEn0WN/mBLF1l2E
tJh1ckToKOnuR3AKbZ2PPuLyLbsSMdbpHwT1Qg3zjcSNSXBOy4e88nb13WOAF+xz
1IgRwwzi9M2aKi9nQhVutWrqpFesTHZ0WVR9FQ+kxzN1I4lZk8YS36K2rmBekRbn
gDyUWDW9OgFaLjPuSOJQsX96woZaXTkVpVv09WiCfXXjr8AtvA2kpbdfXMhEfqNM
W81MUbfRmY27ZgxZIElhvrYXqzpJtokRnzN69B8O5Vcwfp4IXnOmHyDUllgbxFWB
jB18Iqbl05Kjc/vBFKx8yzVpotF7DsfPFHjlqK6NE5ijJGmkyId10DEYUoQL8G86
QhP3yjd8h44a4rSQ5MyE6srvhCUMK9DL2TxW6It2N/Y7c/2r6nPwN4oDCeCVCvn4
oGEbYPEKqljJYC3txceEXapDh8b/EtBYYlh9LeXR3VpUXTVYBNCV5GXHuJIbR4hv
4ywpSRfs7NvK
=g1V9
-----END PGP SIGNATURE-----