-----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.9.1-5
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.02.3), ocaml-findlib (>= 1.4.1), camlp5 (>= 6.14), liblablgtk2-ocaml-dev, liblablgtksourceview2-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:
 3bc964f89ffcf785dd678dd82d6428e83189fac5 5399586 coq_8.9.1.orig.tar.gz
 fe6146d2fbd0862db90eb77dd03d4f6d6fd67a7b 32048 coq_8.9.1-5.debian.tar.xz
Checksums-Sha256:
 ea2af8f6445d8ee4cdca130ed4532383ac42b9da1a8d2e422265a142486420f7 5399586 coq_8.9.1.orig.tar.gz
 bf7a6e32e7eaa918553fc93a357ec11543f71e8676571557e8a7ebe1287ef350 32048 coq_8.9.1-5.debian.tar.xz
Files:
 650755e1b622af8e76df22d11f206503 5399586 coq_8.9.1.orig.tar.gz
 14f749cb308946e31d8c36ed559ee631 32048 coq_8.9.1-5.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl4wqF4ACgkQdFxHZtTK
zf9yng/8Crup7irkMfC45V9AZOgPNMDFb2uyDYTV5IxGP1jvdX+164JtXgNk6lbk
5jaaCxF9rs9RM1q395gPf8bUFtcvGnMG/fum/lj4ZKpAv7RAtEITWZmwB/Nnc4nk
W4x4cs1tFGqua75Djua9nV77YVmtOOftgV7WgRctux3ak/NMycg9BXPY3899N89M
NGtQ+0aUTOnbXixMqLgtlWL8cFrfa3NzrtWwkCCHEhP8i25o7R6NrcomXJYHSXSE
7X89ZSlqGOkupXLIBTsYy1B809MKP8Q9X3pqGT/ZdBBIgAKiO5VnlUeH9mjgg4pA
EpZRO0lmd2BvzgWumc88AttMxdRQnCVH7OzmMhy63PQpHCOuJgTMPbgDaqxYM8/D
uqjKAJ84ymSDj23Gg3EvmXOnFrN6jI4f3TpP2Lc2nMb8YkB7znPSuajr1NDf8SIi
RIevTwW1YgXqKMrYk9RPMqNc5e1+E2GZhg9bcz+VpXHKO9sStCWRTUh23dORNChx
MudplkJG3pAz7WrR8cvUU4KTHjSuaK5HEZ7nCuWdV4+vXn53kz7+U58uYykL0Cmb
6733nfQn0iDGG+CpAbbpGiXef149HkQ9NMNTlCLa494CZ3O79Uf8qnSTGqvyJjyl
V3Ei+VkXoP5jVoEia/WYDUQ/95FPrEs8m05lAsCKpiwZS1zxd84=
=Tcqe
-----END PGP SIGNATURE-----