-----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-1
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
 c9fe4f599b6e49c92ed1ddb03191266c163bbf54 23724 coq_9.2.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 70fb1351fe0b0945eeb5ce07a9a55448f2ad1b81da2739db8de9072a9c3ce411 23724 coq_9.2.0+dfsg-1.debian.tar.xz
Files:
 a33dfe089575d328913178abf6c5b41a 3946088 coq_9.2.0+dfsg.orig.tar.xz
 4f7f94d34632366bd492726f0daaa999 23724 coq_9.2.0+dfsg-1.debian.tar.xz

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpQrWYZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFURL1D/9VGYnkGntUiBBgU5MRPSOP
Z1uQOaUPSm5X8O7v1A8N+uQEmzq5Hbutee3qmUCwsTgHZ9DDNAqozrZm6Xag1QoX
YORZQsPpiUPG/eU664jyZUTdrokX+LjH4u/nqmibpdT+N+8TISvznH6A/NBwtRkH
7ZJw/C2gp1KMt8eR7zKLzkQ+B5Y18t6XRH6ljGe9BAq1swgflDMBxZfuFOd5Dv7v
MX431fTIzTRbW5JbZA4GM2XjbCS9WWvzzDJ8Ji2eTlXdPRP3Oy5ddW5fxGDuax6X
H8vOz7ige448zgjHhMjStzYeu08ltHL0HHfPI//LRHuGuBykHblOYdPePOo2nsLr
frlHSJ38hc17+GvT3k2DvZxT5nChOONz78EJHx0MSlmtVED3fkFu+iwMDJ+ffdiC
64bLydvCiezGaX5XgPrZquxi+h9NrtHlOSxoJASAtoEYehe9IymSEDrQCR10y++7
H9aQ+E81uxW7dE8tW2PAySUGvGrya88+fPGS//Z/b3p4RvkC6ATJhzqR8SCPlhkU
TdaZ1SuQwB+vMXCJo1mWoH4TvOTFEM0sJp4CdvZJBjFVn+r5KS52MtTi2yzbLJX3
MQgEYfiZSxUfImP5bX/J0FhbnESQE1dqZl725Sz67XGWfB42rlHW2nzbuF6WtWii
OxPZFSkhqENrsrt5Riryqg==
=LLrw
-----END PGP SIGNATURE-----