-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, libcoq-stdlib, libcoq-core-ocaml, libcoq-core-ocaml-dev
Architecture: any
Version: 8.16.0+dfsg-1
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:
 a29f18b0b6f374e59dcc6f7cf412469023e5e672 4714668 coq_8.16.0+dfsg.orig.tar.xz
 0b535b2dc0ee2ad59079bdcf354d98e5654adbab 33692 coq_8.16.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 07757df60075521dd685e3668eedeb322ca8add10bff04b27c459232c7fa3b86 4714668 coq_8.16.0+dfsg.orig.tar.xz
 5b03892adad7dea8cc996f70e38eaac02df1dd4d384e247b54efe83e65c8966f 33692 coq_8.16.0+dfsg-1.debian.tar.xz
Files:
 45d1ebcbbff27af223e1f9119db454b2 4714668 coq_8.16.0+dfsg.orig.tar.xz
 71c25c39da0d491e8cb39c6a5197947e 33692 coq_8.16.0+dfsg-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWHKESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBmQP/jcBKErAWkYjijRybZKTBleRR2LNdRrq
Mf7FX8gKX1t3SeIjVnFfRles309dLeWRR6WRM5nPyCHOyZI0vH/ISrXdPC4nplao
9cFRZkc0Cfae7K5hSi5NuzXj0o99ZP5gPDIX91FoMRW8zguMTRYmDYkAw31WS7/w
8F6BWaee1v79HwDThnQTRzY5QUN1ri9jNTGEpeLq4sJiuzjRZxJMrvT7w8f4QI0K
D82737c/JixO6k4kvEm/RBDC+CIO2Kk4p37R+2uMXxzgsm08GZKUBPWfcqdik2C6
zG+VQTDdAY4uGvG2Wf9O9scEC0RU/EmBFtNZrBIf+LkTfcuKXDUSvaXmE0Kggga5
b+72fenTyHIUCkzV4pICRJ2vu+U/todgFerSKea+lcoPFmUjcU4qa+lyWW4hxVNL
vLr3dPVxK19W5ZpxMJmtSLHY6Dn5Zfb6YbeE6lz+sjjztBF6+QFqAZ9/EFLGIXpr
qNmvzg7s6qYrz/3Jlyj9CG0/3R8Y5WsfkpIjs7NJBeiHI4qaPut2q7y4QQzsU6GH
u0k6MzMpWTcPk75/iCjZcVoFULzEikL9UakiTPT+TMmlj9A+m8pTw9hME8kDZed5
5hh2yb7yx2TGYVh+2OO5Yjk7yvpsd6gmIi+rMzfSBoY5LKoF0tao8pFxYPy2rcQ3
z7+vxg0+C11Z
=bXpK
-----END PGP SIGNATURE-----