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

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any
Version: 8.11.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Benjamin Barenblat <bbaren@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.5.0
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 (= 11), dh-exec, dh-ocaml (>= 0.9.5~), dh-python, ocaml-nox (>= 4.05), ocaml-findlib (>= 1.4.1), camlp5 (>= 6.14), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev, libnum-ocaml-dev, libounit-ocaml-dev, python3, rsync, texlive-latex-extra, hevea (>= 1.10-7)
Build-Conflicts: libcoq-ocaml
Package-List:
 coq deb math optional arch=any
 coq-theories deb math optional arch=any
 coqide deb math optional arch=any
 libcoq-ocaml deb ocaml optional arch=any
 libcoq-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 2060835b376b6bc9669e6d0a01929c094351d153 5825620 coq_8.11.0.orig.tar.gz
 070499f52619dabc38c5960fed369b61b7e567bd 31672 coq_8.11.0-1.debian.tar.xz
Checksums-Sha256:
 578344b3f01c89af65b9f9902c4a07df8faa2b8f8ec080a53bd3f7848a91bfd9 5825620 coq_8.11.0.orig.tar.gz
 8ac88e9f07ee7cb9c268457daf2a07f7f8276d3c71ac4449c13fdbbae611e961 31672 coq_8.11.0-1.debian.tar.xz
Files:
 ea1c950f8864e16455823006104ce30a 5825620 coq_8.11.0.orig.tar.gz
 5bf07a30596f5db69dfcf3c4fdf0f8cc 31672 coq_8.11.0-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5hbuMACgkQdFxHZtTK
zf9fbA//Z5r346xO2lTSNHhxkgB1Y5UxJZ/HkarddyqkOE2K1yVuRL+8/5zlGKWK
uYe5GblrGqrNq6ma6n6WqAB5Em4PTWiE6dlWNl/OqSU/wci8LoIj8m5GPTx/h7yQ
BvQXzijuPZiv2xQaLy05+cvBvUHvDDMpXM7ASSw1bTv9FTWgrOEf+Q6wZ3IkqgMp
64d5iWEtbck2h5A63f7yT9lFYm5zD1OCWvX1e2urp8yGcdpQpgmJxNi10EF8OyNU
s3z+I8hxCvECIgrKC4RJAgTNpAkKoRsRuTRidf0PIZa5eIJzdltmbZEXgsVgF2OU
zhRlKroMRBBeVf3rSC1y6kXdfisT32BUILkBDuY/GzY73r4+d+BlrmE4eE/QBIeo
8SZQRTi5VWmyDMRpAD6pXWeyPdq8uuTBetB5Dw9fHi1fOV8VHdl7WI+ChiSa0ank
r+u3eFWzLOTFKBLXoVgmX9fyrNn5cWx/rstbryldtucFn8S1iq68NTlLP9mBjkmE
2vafh+twdVC9FqStSRNhhp2sh6cF8UW4ASj/LdZ3aGdnXS1vCXvEhwt/0L43k/wr
RsF49Q25GnAZInO461nIJDnNjvrb6cX9VuKbf3hEMJBlUJTGndzhaniMidkaP2Sv
r+eUfgMrReM3lgMsYSbj4ySH0XcnDhdIiHL1njYjd46LR7dTMCQ=
=WsW1
-----END PGP SIGNATURE-----