-----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-3build1
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
 5162fb0096403f4fd6d605ea406e1aba8fa89655 28340 coq_9.2.0+dfsg-3build1.debian.tar.xz
Checksums-Sha256:
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 6cd04195c3276b53f336d431317bbbef563aaed03e9cb2b73348a5da224fa165 28340 coq_9.2.0+dfsg-3build1.debian.tar.xz
Files:
 a33dfe089575d328913178abf6c5b41a 3946088 coq_9.2.0+dfsg.orig.tar.xz
 8a046d720e25e0b0893658e4eb393375 28340 coq_9.2.0+dfsg-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmqNu5sACgkQ808JdE6f
XdnaWw//RTCxZtk0lw2pWOfOe+mTqZAJarqXWaYC+0ACNKB4kOv7FlpsXyJoVLvX
ZZWnS8r4XUpNDqaiJStb+9DATMhZa1uvHvSvpVZD5vGN91SfS9Avb7VC+m9/067M
VLK2ZjjPzhT9QVRLMLD58IXUgkbS+nyNriJpgPHuRrSWC0tPLk1lN0BaznVckPpl
OjrzKMeqxHpb71aSBMiyU4ZyAEt+pMQ7piMAw6TR3TuD9R2SdYdy8AbsHMrKeRai
ODBGqisfsBMtW/yPd2Tkn+b46lx5T4wuvRGLRT8TmoErqWP2bHa2cr2rgtmEUJ/o
EJaE4+bWiJMBB3UoLg8LbO3ef6M1/e6jXMBc0HRj87t2OGiAGlLDcHOYksclrAtE
yrO02Yh6onIgusQKPQHyUrGosdFlvmdHBrLsjOZs8pHL0eg0xKHNWlmyYXxBXPkE
VkgJAuNEO/8kFLQj0Cw2hXrkFcAJvtqt3paxRPm0yefHjtDURHqEWFpVIqKXEfsY
Dgfz0sVNKCfIHvi0zaaWk/TTr25GVwYMzMdi+8eY/g4ZwJdLDNF68ZzrvxfKZGSP
4w/RCZ08+7KyVZTdLkxromLOin+R9VC4MV8dN1HKb2bks9e4YXGPiYKdPsvFgejR
aIzCOyoMkH//odla5XP+oaIJO0qd2JPa+S+jAEtBRJN15DDy3GA=
=8XMn
-----END PGP SIGNATURE-----