-----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-4build1
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 unknown arch=any
 libcoq-core deb math unknown arch=any
 libcoq-core-ocaml deb ocaml unknown arch=any
 libcoq-core-ocaml-dev deb ocaml unknown arch=any
 rocqide deb math unknown arch=any
Checksums-Sha1:
 651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz
 c2c9f65d6160bce9f307aa293de288deb15a484e 28356 coq_9.2.0+dfsg-4build1.debian.tar.xz
Checksums-Sha256:
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 1064610c47ff2c0ef9793c26f8a46d0e5788fc3a3d5a839574b7a2ef46c0023f 28356 coq_9.2.0+dfsg-4build1.debian.tar.xz
Files:
 a33dfe089575d328913178abf6c5b41a 3946088 coq_9.2.0+dfsg.orig.tar.xz
 5ffb990e6e6e858e7fc43b5187b0a758 28356 coq_9.2.0+dfsg-4build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqhZugACgkQ808JdE6f
XdkQaw//YhDt2yA6nwrMgJC70p+Yf4yRV+fORfzT5YmqDhi1pRRFiwRFXdKWjSh3
oWyP5A3qKLrt4+/29qkap7GRW+zK2IgzcdWXsPjyFP7zJEBkE4P8PHFGY0LsjSj1
cLSZlVjW0hrdHZ4GvI+z/Erv/doYad6lOiZxyw9zq7vdHSswudeKWlurte//kx4l
ILecJmFxXY7EFrJ384Ag0XTRu4Ym4PlhMe/dAF99YIAi0RhuNNYJRP0IvDhbhW2H
VWxJ806XapRT76sE97KubcORJXLkh+ILikYX8DPdbHX1+LXm4byWzaDxYYIdsbLc
hqDiyAkCgbgz4PWjHt0sJ8xncQ3Mwpv5eAa/A0glk7MDrSxc/4kKhUeykjcd+1TA
pvB9horGOIAISpBZB6G1A63eOl6NbRaVwQFr5/DcCJ8FCs05Z0iP0lxGGQ/vt3WI
OYujleD30YRBdgNbXmADmoEUwz5CquP7bHxEO8Pm8fypph+o1kGFiNfFy7Qrjm+L
8CU2MQRm50gmjL8FJ8snAim3M+DbS75VGO/VDYF4sL3iT0PQQCO5Nhqa9KATXcvX
Q4wbvG44tqDPQzdiCBFIJBGsDcgPTScEptx0LEpUqLLiN8ORoL+xq2q7mYWH/S4a
i83vBv/sv9U6IXK6Qd/WibUy18IrR20LxYYnEgCjMVWIUD24oBQ=
=UCmX
-----END PGP SIGNATURE-----