-----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.17.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: 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:
 cf6d446dd6187ed356ea6eaec7e2315ae8282863 4773032 coq_8.17.0+dfsg.orig.tar.xz
 1c5cd4cb9423e183d3c7b708857a2207de1133de 33104 coq_8.17.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 8dfab9a5db36300a19f31fd70009bb4907d3a2e1e2671dd89a7e64ddd4b77ca3 4773032 coq_8.17.0+dfsg.orig.tar.xz
 7bad6f506fa1e4eb8f914e9cd7f950d6f9adb13dc9844799126d7c54b1d57508 33104 coq_8.17.0+dfsg-1.debian.tar.xz
Files:
 a4600ad16a18533703e73c88f2a62373 4773032 coq_8.17.0+dfsg.orig.tar.xz
 056582da5e69cb5ff72f511ada65c784 33104 coq_8.17.0+dfsg-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSGwU0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRr4MP/0M66XysYFavsEsXjlxojLBbJVdXWAcR
vPvjJIIoU2ZZGg+bNZD4rsc7BqQRS4QZu2+M+MKMEkmYLUzMbvrLiWSeJ5WB/Pot
aVG5HTqDyUNwRsWYQ+vB+DpU2G7doyAc+9t4OpCfPl2+zztEp30BOAFZV9C/AE7j
/XqZjVgM4jHtCiXqYn+oGqGqFaQQ0AKixQp6IcOU4+Kq40DKAbFFe94LMyqVAZrd
lps/qPrIGMbaOuV3JyO0EhmoF5RGbcRzfqjYFtfOm1pvvPDqWNZk5d0O2A3iK7Qx
V+KjAdv+fp2h6ZY3xkyj1bkFdPRf5wrSaQzwrjBHwxzqjj4TF2teoTXLWzXeqPrB
qTflbERvLWRM46LFTw7hx8Ufm7Tv81StxLBt6naangnut3yUMOrgzjOHP8PdXrB3
NU+WoKKQRuVbHRcklfOMQQwrUZbV03vncsjqq8d1rL2rpoe+BC+UvkAwa71ttvh1
Eavkdm8rG/YoEvcsnIHibjjR77Hjje8JU8j5kZ8qx80U0h+sKsgzcvxWP9E90Zv7
SlmK2sx/6g60fTKA3uiTBOdybY+IuhLR0C3I5IZ8i1CrlkL0Ffi+OTS5L5taqCt0
LDV/YfReZCqSYmMULK3+EA0vLQ7iYSWemXJVxIXPV00oVvhnZM/jTDdeHViwxCbN
l3hQ6IEeSwUI
=cWkj
-----END PGP SIGNATURE-----