-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, libcoq-stdlib, libcoq-core-ocaml, libcoq-core-ocaml-dev
Architecture: any
Version: 8.16.1+dfsg-1build2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:  Benjamin Barenblat <bbaren@debian.org>, Julien Puydt <jpuydt@debian.org>, Ralf Treinen <treinen@debian.org>, Stéphane Glondu <glondu@debian.org>
Homepage: http://coq.inria.fr/
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Testsuite: autopkgtest
Build-Depends: bash (>= 5.0), debhelper-compat (= 13), dh-coq, dh-exec, dh-ocaml (>= 0.9.5~), dh-python, ocaml-dune, ocaml-nox (>= 4.05), ocaml-native-compilers, ocaml-findlib (>= 1.8.0), camlp5 (>= 6.14), 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
 coqide deb math optional arch=any
 libcoq-core-ocaml deb ocaml optional arch=any
 libcoq-core-ocaml-dev deb ocaml optional arch=any
 libcoq-stdlib deb math optional arch=any
Checksums-Sha1:
 472059a6b99fafeacd37a08559bc02db30515617 4717668 coq_8.16.1+dfsg.orig.tar.xz
 0e94faa76fa68fb6973158893d66fe513cbd40ce 33316 coq_8.16.1+dfsg-1build2.debian.tar.xz
Checksums-Sha256:
 d9cee0ee2889ad2ef3be6bcbedff6aadd14afe861c81d427b34c6be56c677cb3 4717668 coq_8.16.1+dfsg.orig.tar.xz
 dda7fc7a8cb22148bf629057a5c0607dd7965b0fffcab8e3cb5e026896c861b4 33316 coq_8.16.1+dfsg-1build2.debian.tar.xz
Files:
 79d8714e248357dca8caa0b3de7f5f22 4717668 coq_8.16.1+dfsg.orig.tar.xz
 6afa0025813bfe80480ca5966f593068 33316 coq_8.16.1+dfsg-1build2.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPt/WIACgkQ808JdE6f
XdnKZBAA0HAhnMIlrq64Jo3ZZ6TbtbaKlrSh+RMnzsE7rgl/J1lrOyACK2RpPmgs
usXNx7/T5sj0ixpcLleIxeLL+pHXHVJjMA43gXyBIoxfEBfO6uBjcXjN00i8BJy1
Zp74/GWVQsfH1VeDZs1JUmbHamkTinyy6HuQSlgzJiS6gAGM0kYxK1r8nkcTxhbs
OEIp4In/BrJjbT2y2j6vrvnDNIj9kMYgt6KAqU90pXgL5CSWrB4OWyuQ0m/tvvJv
fWWTXqhMkzwldXGvXIocmFAX/L5+KrdYhMhnNbpVVS8PNHqHsNMbl+VBuJrz5X0G
DtEdKAraT7/qAJiWJ0HIKLLY0reKrhcuWJT+AH2gzzOSS3M242mscu3GzjZeW4U8
q6rNUYOqtlLSSRtwqnYK/l81h/0+gOwDFS8CT+se3cLejd2fvhqY1d+nOM8qt7HT
wkuuIMMIsccooSWFoEq5SS/830WXNo5X5lmn/ouYmcV4zEsmMHAezeAA8ez/2glw
8jP2NW3mK2qqBpbLyRA9Pb9yZtKFgFHE+OjIp4qYz+dTc5R6VOfbSgKWxeX4Sud5
5we/TY4KJQvB9A4KRKWcTVLsMwFOdkXjHg1dasG38RM3B8sgpps9Kcf8ZJT4T9mY
6cXq9O8FjfuGJE3llw3SamtJBHXVkXhzlg99dLLBELUxzJxVTp0=
=pYx3
-----END PGP SIGNATURE-----