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

Format: 3.0 (quilt)
Source: coq
Binary: coq, rocqide, libcoq-core, libcoq-core-ocaml, libcoq-core-ocaml-dev
Architecture: any
Version: 9.2.0+dfsg-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.7.4
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-coq, dh-ocaml, dh-python, ocaml-dune, ocaml, ocaml-findlib (>= 1.8.0), libfindlib-ocaml-dev, liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev (>= 3.0~beta8), libnum-ocaml-dev, libounit-ocaml-dev, libzarith-ocaml-dev, python3, rsync, tex-common
Package-List:
 coq deb math optional arch=any
 libcoq-core deb math optional arch=any
 libcoq-core-ocaml deb ocaml optional arch=any
 libcoq-core-ocaml-dev deb ocaml optional arch=any
 rocqide deb math optional arch=any
Checksums-Sha1:
 651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz
 41aacbb33ebf7a0eaf74b8a6ec9820b2a3c0a383 23752 coq_9.2.0+dfsg-2.debian.tar.xz
Checksums-Sha256:
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 20e71632d612e764543e49e4be10fea8061b5d7de99e031e5f03f8c42de1a278 23752 coq_9.2.0+dfsg-2.debian.tar.xz
Files:
 a33dfe089575d328913178abf6c5b41a 3946088 coq_9.2.0+dfsg.orig.tar.xz
 5b53657be5a3ca07a0736544931c7197 23752 coq_9.2.0+dfsg-2.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpfKPgZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUShRD/9PayZYnnOF7HDv3y+NWI5V
bh0c9t+uii7wLYco8rZbbYl5/QuPZmTeuM22cKMLlKMyp8DOIaQyCf9t82n8rBd+
OL27Zoh7pSCffpFhMsQiv3ZpfKDMwoSLzHyolPSNvJdPNz6vnBhPM4PMbd/4LolI
nmvrcSV7rVoLWePYQNgAGYKkw8Myq4cCbH/jiHWIxeU8YbKOenmVu/kjzkoYBikY
qRpNIqD+zStO45ydjrwOVwL5aqe6DxUFjTcPY5JEXt0TNbcjaUtxz8CFOfNMv/na
NiqdJcr+3IAxC7J93AcpKsGTBRQLpRYDfB022re+1vQzY1VS4a9PyX/rSZ/GjD/D
b0vs9B/gmsm9UTt7aocFhlmsNH6f4++StlmhIEIO8spgq3vZwl+GjMn5qcEhIaFV
3c8q6XK6wl8j/7oGt8r3gXip9ccIUo3TD8LAgJmMLDZeB7GNjsz57A4EfDtrZ6Kx
ea9/zGIYpbAzv6z4FFDeWeoUZe1jS+VJoOFH+aym1O7QTbt4SGzDlzZcPjOT7so8
YZk+WG0yrQ+SdcC9m+AWZdoNTUGS8sqQdD/sTn3C4+7N2Y+Pb/xk5Y6ltWhWrWbZ
NSbPYdhWnM8hp6F++SpbqDnheWiY4186i+rU01E9OJJdySoxTSXQtz8ukFjoQMdX
kkzgElLZ8VBQdQcscpVrlA==
=lXLA
-----END PGP SIGNATURE-----