-----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-4build2
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
 60ebe46369d037a69ea4d7da8b0f861e932777f2 28360 coq_9.2.0+dfsg-4build2.debian.tar.xz
Checksums-Sha256:
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 06f064789e193167e772fd214c9653183e96af548f7c9a55013eabef3712e1a3 28360 coq_9.2.0+dfsg-4build2.debian.tar.xz
Files:
 a33dfe089575d328913178abf6c5b41a 3946088 coq_9.2.0+dfsg.orig.tar.xz
 3db50eba84a233cb21b79bff416e32a7 28360 coq_9.2.0+dfsg-4build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqronEACgkQ808JdE6f
XdlHKw//S+BrSvYDeCYPI8qZbKvOJInpZI3Y+aX7beA+fb3NWzWZYeHw2GeaMZ1d
H8mF2Bk+TkSaqWcer57LuAC0FhdEBw4TYTuYlHqUSLvR1BzlrOjij3QvPaWkR4HK
LML3v5QdwbJp96g05Wmz3dTQ/7NQzJKPbkcnrB8RwRWOp8sMyzl3iVG4ay4IBrRz
EbgNZOTspHnw6ALxu62SqBcysKeN2P9cwrdncvwn46aQVq23Zf5RoMCEgN+vJPcY
9eaiz+W7Q6f8oeqXu2aEwxizFAsj0oxufxkerrOSWa4U+XRZM6cjsTXkL3cs6szQ
T4+sC6g0OjSl9rCOXy39HNxueUvTzFTX+T+7U41Ai7jSe9a/HymK5sFd5eWkMCJg
qaHoVgwwq9RBLk8xFDdQHfNYwSYtYdnzi0XyN++XAtTcBrGghqIkfA/JSThIWdcv
H1s7pdY5/EuOW5ctRYaoesRRuLl+OeXhYxokkF6oD0s6R+0gzOvdLr9RdJTvFDW9
4u0wx7rmhEZ4yPtgeLqXQDZkA/J4RwnSC+QAsC+tRFH4LOV8zOL/LOqaaVcpf+jj
awUiSAg9XB7Js/HGkd72O47ZozO9cKJHISaOf7kQE0xMOMPMoxHCZ4A6ItF0Jg5f
XlZMCOacFg96er+BluNZ6rFZILDB9NNaGG1sL5MeTb12Jym5Zzc=
=7ElY
-----END PGP SIGNATURE-----