-----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-3
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, 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, 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
 908d3762fa23157b6f6f2ebb6900c29c754411a5 28280 coq_9.2.0+dfsg-3.debian.tar.xz
Checksums-Sha256:
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 21a3302f5b5092a0f8970f08367dd4bf44ed299fbc676d541e74d69c9aded33d 28280 coq_9.2.0+dfsg-3.debian.tar.xz
Files:
 a33dfe089575d328913178abf6c5b41a 3946088 coq_9.2.0+dfsg.orig.tar.xz
 0ff59c0a444f38ad2c5805d8302b3e98 28280 coq_9.2.0+dfsg-3.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpnZKoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUURYEACjDcm8Rs8ebWnXgboZvPpf
irT+0hA3ImGfotXnTeqXf3+ddX4lJiI/kX9llvLsrTl7ltrR2NF12qvAEQGo8NTD
xi0mGaTwWRVurE+xv+Sd84yz4D1LUTuT+zEl4SJE4k6E2CjR7DkZvUTKwgFQy2tL
DBAgGVK6fdlTy8Sq9QBCTh2skFWplu4pbnxWBGtfjzRoQbfRBAtjX4yD83xKpoam
ef0ti10TA53nQZ/q3Z5vlIuWihZ9TOiLnJrLfDRcoDn2GlJnw4t6Y0tCco6AEQOI
5Kx5A70c+ByHRsrNiFFdkt3ksVMy4VhakVRLYv3usIRlB9X6E7HYI7a7hQkpifyV
KIFy7/9CKUuRopd5QKBbx/bzpUD17CPyQliBxG4jM6k/dNj9ggUxl9mkvDF4X5iH
nYRu3jwGXhtPTKJ5y1CvMP4y4ToJpbqyRhQtrOK3APPeUc3Y+h56P2zRbInnlk47
KMqeiPLtw8Xj8qgtKf8HG3cy2taH2bOczAI0ko7Jo33qJVwyA3/ss8l4tOxnU+oq
BmgZqMOWCAi4SEsCP1hTbWgsArkXQFREDD2xHztbUVJ4SyS9nmg7NUYGaYl5i9Tf
2zXDi9yx/ITZBOeAsSNVXO0DQAONEE6kJiD0kCWU8zinERC8E6DNEUi/J39jWqSf
vHXNr+AT7N5SBDdKDByxnQ==
=poB0
-----END PGP SIGNATURE-----