-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq
Binary: coq, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any
Version: 8.9.0-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Benjamin Barenblat <bbaren@debian.org>, Ralf Treinen <treinen@debian.org>, Samuel Mimram <smimram@debian.org>, Stéphane Glondu <glondu@debian.org>, Enrico Tassi <gareuselesinge@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.3.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Build-Depends: debhelper (>= 10), 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 (>= 2.14), liblablgtksourceview2-ocaml-dev, libounit-ocaml-dev, python3, rsync, texlive-latex-extra, hevea (>= 1.10-7)
Package-List:
 coq deb math optional arch=any
 coq-theories deb math optional arch=any
 libcoq-ocaml deb ocaml optional arch=any
 libcoq-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 3c87729e8528f060bf77994386faafb30180ec76 5395769 coq_8.9.0.orig.tar.gz
 14194604881ad111d1cb61d48d6bfb0a8dfa3f6a 27816 coq_8.9.0-1.debian.tar.xz
Checksums-Sha256:
 6468ba1b0e5f0168dcd03b29de573be2198e1a2e0311a99f8d418f4d08458908 5395769 coq_8.9.0.orig.tar.gz
 a8f122b61740f994bcdb3cc5e96cd82e31ec9e8f3d163b7afe546a590230acbd 27816 coq_8.9.0-1.debian.tar.xz
Files:
 63e06c572a4503e22c651ce8b0237efa 5395769 coq_8.9.0.orig.tar.gz
 d5d3dccd2c2f9cbe26c960d237c7c86f 27816 coq_8.9.0-1.debian.tar.xz

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

iQIzBAEBCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlxbKNsACgkQ5ZUVm53A
7cOZfw/+LS3UYmp/UvBptcKZn3z5jjqUpkA8dQRDX9anXygrearB5B8o5nWY9Owe
BkqPf8n1IP/KCcQ19/N7FjwIdmfFznOul3CoKsED4qCRD1DOxddd6mdYhDfI2s87
xOdy3F5q3XxGTl2VEaRuENWulJYhCca/ht1RY6haEifU4qdvG5gl0L8U1UqABmik
fMlYbaimlFOdfuzH4LObtYOjuxfpC5K5aIIQf3pwbl8EJiOsHfZvR8zGkb6JV5Fb
5dzRwxLbn6RySdt42OOw50IloCYEmZuKZj8zvxicHVu/qGN4SR7I7WdqVgowVi89
H+bM9qwSoO2bGvfVEUo9zyd3JmLKZsoKkfd+pimiruACfhE3KxqfQTG9TW/m54Ql
Jvm3b8n9VRyEE+taZaq9tqLnacu0xJXeMY3cIPIXY9e16zPB6OAKHx8wW2K1Rxwa
aHKHSMY80PnPGOE6Vd2p+p209Dblt91K9R6LtB8eJ8dBcoIrIcFGZnONXUJMSH3C
enOLhYYIxN//4IhzQcUSrtvD2Y8dCJg0Dn0b8mPakCEIcFmpRyGhaWFQUWPFnNIo
y+dAYJ4HYW13xxSAwoQRvUJUja0JNDoCFA9rdmozBKXM2GgsrOGZOUNls5pHQ4PP
MfqOZ6Q/A/8XVpIRyQRd06EtVnYGS4DHGgnco3sShzPXrnm8n3g=
=6uQu
-----END PGP SIGNATURE-----