-----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.12.0-3build3
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 (= 13), dh-exec, dh-ocaml (>= 0.9.5~), dh-python, ocaml-nox (>= 4.05), ocaml-findlib (>= 1.8.0), camlp5 (>= 6.14), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev (>= 3.0~beta8), libnum-ocaml-dev, libounit-ocaml-dev, python3, rsync, tex-common
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:
 5c1cea54844930f2c4d3fa5ca48f94d8b9ac6aed 6008211 coq_8.12.0.orig.tar.gz
 7f3cab9fe295fce87f188893dcc225f3cf97a227 37912 coq_8.12.0-3build3.debian.tar.xz
Checksums-Sha256:
 e2c784fb8545718819f44b85518b5572226faa1e34aa8dc4d5d9e64edfbc0a39 6008211 coq_8.12.0.orig.tar.gz
 82a84ed4be121fc13bf55fbca174d7d72a79fc39c526df47f5ecd8ba44088977 37912 coq_8.12.0-3build3.debian.tar.xz
Files:
 fb63dc40943c353977fe4da5f0e88002 6008211 coq_8.12.0.orig.tar.gz
 e5c3faf5fc251414e4cc1eb3ce524e7a 37912 coq_8.12.0-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl/CF2AACgkQ808JdE6f
Xdk95Q//T/8dOEDl0FX5Co/9TkzPEZ9Ed4pErdTyqx6fa95+pKaBztGxLe3CERUB
4HedJSCczhnVIop7UYiZyfXXOQ+WwooT6YxO6ypE7jEBYgJQt8+CKyiAAU9jYqMb
As/HdLIOwWjjnZo3WkrEanhnEQiTDAv+hg4gnvfHu8opoUXKfRd8C0ZBwuL3KAlR
aG7ezzVWPraH2FhJlxqECpnvy3QIAq1zyFO8YgJhVef7+9rJ6SYIF6SrbrbDtrJW
2NxGUh8JsmQswPZE2ntwtNlZMFISUR5b2IncqV16iDiCOEkrNcBCT92XMwIBBbY9
kDsvjyLhXJYT7uDGcMHs8doZeD5g5fq/DAwCtBJKGKwxl+6cerHt8Uow1/jcVinY
OF4xq1msr1IR5p2TZmGrRX7PcaJvivWxiqR6aFasnR6n47uMyUBO6TAGuCvQNL+g
l8iNnA2hKayDEsM0rVaBD7WlgDCD2M3FHXAqZ8GoygDhxeYwaUR3pVBaUZ3s7sPq
xjyPPO3U98MAH0ok1OosO/v4m9595LBgvFj1mVhU5eF6jp6bQnJJaPzRErqkE4aT
J365Nby8urY3BCnbuPWLExmGIuFfhRKdfohBrHzxpR89kfxUzKWpgSpK/c6EC06S
CTudGrQILxo1jQLpf0iOxxq6IN/wmM86ccLG/UyKrgiSSI2ht0Y=
=Grx2
-----END PGP SIGNATURE-----