-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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-1build1
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
 bb03928bc0b8698ae9c7784ef64e45082bd5fbb3 30224 coq_8.20.0+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 6c0f7bcf705a4c62a11a8445326949587606c5e4bb32582dcf5c3fc5478677bb 5012820 coq_8.20.0+dfsg.orig.tar.xz
 756987a7e73e1fc432888101a656ea58eebd8b7b369ae5ed58d8c73a03918bfc 30224 coq_8.20.0+dfsg-1build1.debian.tar.xz
Files:
 7f8934a74ae494a3049e1da65916174e 5012820 coq_8.20.0+dfsg.orig.tar.xz
 d3cb56d94bc9af99a1265eaa3cc6bae2 30224 coq_8.20.0+dfsg-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmeb7zkACgkQ808JdE6f
XdnASRAAomocCPESnwLpCazKFZ5VRXjL1Sp3TCi5DVnJmrQFDtZtV1DMJdWfR0WW
yQby5SGyLAvjjYpYDCGKdvxAQTrlL5/7YFyBV9SXQMmwwDAGfX80Qsa9nyb5bIfI
7ILRyfb8csuckta7eey+LnzYXzyfayUbHO73ztsZRdvBk2ZKLVIFyaH3iwFwbhqb
vmFYgDq6QU5t2ujomojVHfmMJTLsiAiJkN2bqu1vbnIRgw7gPuTFDZyXN5qVsLjU
TojtOYx1o3olnY8TMzrEa1E8eVgnc7cbNbMvwzR3kE2/taa9qURNMYvRoQQ8W0dg
CeY2qf7dsrBHtCgcth0XxvBbgJPHH1ET9rMIuZ8TSJC8s6piufFhOvgAS3Gp7x3J
gecYZ1ugJ9JlWEm7u99L3DH+aLS8nAwA1HAYoy7XAnbh3fhOiQTEhIbrQi2B3vWT
JUsrM92/Q7pXBt4ZfpUMAznVfn3nWq1J0NOA9Gnq/FryEXQ7GzSiO3ZfTYGV7g/4
JwAAvN/eeRCTAFmFzpA7Cz0r10wVYkM7gQ0aEsUgEwwP/xgSRAM+VK1kqD3SiC1z
kZwPmqYCL2K4iUZq5xpyFs5Ciw+gbLc4N7LhXqFPwoBBWAxTuhU1bWdOVZvxeKzH
7i1yQP8AkYcNIO9x2ddIaidum1Z0EM+CvP4tChkrdPGU9g5gleE=
=TEsw
-----END PGP SIGNATURE-----