-----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-3
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
 88d1a392001adcb7fae0a204eab77274cf2b5791 37772 coq_8.12.0-3.debian.tar.xz
Checksums-Sha256:
 e2c784fb8545718819f44b85518b5572226faa1e34aa8dc4d5d9e64edfbc0a39 6008211 coq_8.12.0.orig.tar.gz
 d0b2ecfbcb6ef5a116dc791cf4e68086314352c42d5250407e563d117f63234a 37772 coq_8.12.0-3.debian.tar.xz
Files:
 fb63dc40943c353977fe4da5f0e88002 6008211 coq_8.12.0.orig.tar.gz
 3957663116163b8bae95288b66e400bb 37772 coq_8.12.0-3.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl9ZxwkACgkQdFxHZtTK
zf+phw/+OPLYK8CA1FR152nFI5TvCaC/VDzc8cpcQ0ZXMyapLpxmEhf3edOFXs0d
g7dhMyIi3dP3YUyiYGwVPGOQcc7bjnUAtmcaD5UbRHdGlf9RQ6GbnXC+fj8oJVVq
uJD7LbrZqsjQQOn4uluvQy3SuRacXu2F/0hjNSK0KaemJ7+EbiVQTHRagMpHZuzw
qBHpmLGEWGtlyX6Ovj0LvEAcnrjRgDgXNnKY1rhVv222kwki2deeu4GzIARWdr5t
NXqfTBArqFSk8brlg5x6ozNue6zgxcFAxrlxMlq8xdk3lVGE9BqZWANfsbQ9Y6cB
W84xSNjcnUAQ9vTd8eUY+U9EOtjPhruaLE9zgQsDI7GZ73d9wheerx5igO52DVX9
cnR6aZr4LAe5Mkg8UR0B5YnvH8HZj3hEMNi8ljdnVwZ+nJo4vPZMc8+oRgg1PsKd
FmbF8kD1E9tprvfedu59GiX4Ef7z0yLdBHN/lH3lrwh/BqBAgYQNY2X5JAGDR0wz
1e98rq3vp6tDnDkHexCp8UWG40sQ2+KIxR1LhdD/soV+HD5shd40LV1ZlYW9h1HC
fPwK7nH//sGl0k86RYhVnWWprKJCbBTKXklJMqbtBgjMnKfk9FvBmbtME9/UU7+5
1NfN15gPhIYNn1Woeg2bTQvw73ePpFxEogli2EGj8qJ2DUEOi6A=
=qai/
-----END PGP SIGNATURE-----