-----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-1build1
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
 71a814e3cf42f72ad5cbf09e54aa045786ca5c08 33308 coq_8.16.1+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 d9cee0ee2889ad2ef3be6bcbedff6aadd14afe861c81d427b34c6be56c677cb3 4717668 coq_8.16.1+dfsg.orig.tar.xz
 449f529c2935bc0c63cba96c5393fddaa531f741bf3b2276c1d2c24becf10874 33308 coq_8.16.1+dfsg-1build1.debian.tar.xz
Files:
 79d8714e248357dca8caa0b3de7f5f22 4717668 coq_8.16.1+dfsg.orig.tar.xz
 960195721c72bdda9d2caf2f9cbdfbe0 33308 coq_8.16.1+dfsg-1build1.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmPSOTUACgkQ808JdE6f
XdmHqQ/9EpqK6XcluVpw07Zo1Y7lyzze1w53w64lfCxGUa8CVuItjRu8zZm3E4It
7l8HHU+/uDgRcTHF51mDxIGdhakS6z7k9VkzV4XFO2cj5cvB8dsTKPdo00lT4Psj
R2yabNVk0Yz3McD6l3WJOHBJo5iG34Ht4+4ZylCbjzHOnOGYUb0+sGy/nh837Ajc
dpGSmt8AUbNYGqhPzG6+zTy2IEMQ3XAx1IP0mTYD+k2ov/ymWW2M8xXXvwABD8zG
RqPxslZVuHF+MHqDzBqHWjdLAEWMKy//vfR7eUZIM2bYdQYlQ77nX3iuBmrQEox8
31NIy4kT9kKpJhmJO36zlYXX4/9T4Tut3o1YSdANiPmxYpRj+1a9MgRP6hglEvqX
0pOMkA5iRvG0nfOdDrz4l0iM20kkvAABXE0/djjDxubTszYeJ+0QsP1a4dwwi+QA
ip0ECl+TwafZeSP15CWKFi9txWD40Eu1vDP8ZNhlF3v3iEWN/ZyMm3j/qxDMaLB9
jW9vyL/vEbLQWsSsPxPU37u23RMqV7AhcCyMm8qA80Wq37ps7H3QeO6qzQ12QqBs
EGqBKg2saLZbChbpUlObpJ16wDqJINNyHaBre/6BP0HnpTYYin8S6UsF4WZimZil
4VhLUg4ktmEG5lwvbEhOkpe727e95g2lae3n8WVBNMN+dTMy1us=
=MxME
-----END PGP SIGNATURE-----