-----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.15.2+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-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), 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:
 e6709b12f2ef7fabdd269f2c5dfd1f9268888177 4673192 coq_8.15.2+dfsg.orig.tar.xz
 f2cb15d2706c3e6e647132b4344dd4b75bf4210e 40088 coq_8.15.2+dfsg-1.debian.tar.xz
Checksums-Sha256:
 53cbfe9b7f1b1bac7f84f13acb9ca4082e3b3483c336267d80047214703991c8 4673192 coq_8.15.2+dfsg.orig.tar.xz
 b955019df8cd8d26b6a385c117ac68adf7e350fd4ff1e47985224e0d0c9ab13d 40088 coq_8.15.2+dfsg-1.debian.tar.xz
Files:
 2cf170d94029eb59a01534d21f222dc9 4673192 coq_8.15.2+dfsg.orig.tar.xz
 52a9c55509a58e20cd95a16d059930a7 40088 coq_8.15.2+dfsg-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKWb08SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRlrwP/jDFKw6Vt23USKmEs8urhA1lr8xxl8+9
lDzrtF3rJHvlEihNisvNOCHSop88Q2sXqkSIQ/Zb02O+u3h0YAkUhm1qOWNxUkAP
QnacVMItPamsbJuXT8UrfIx+KOgSj8dbfl9PU59bPCmnGDznss+m6RvT8nb+Hrny
G32vqxtEA9eSohC5wkoUdtpBa61ysONQHEcgjRDR97OV2OjHVr2Pf9JDJ6oPp+V1
JTsHTcSFt9DAwC+noeryuwc4J4F/TwQ0ob2mDhP6Z7byC1g/g7TLpaHM7bs+oFHz
OKFwk4wIj10mogvFz28u6EZffiaohEXxDPep9S8CClSYlnzVaMH/BYGkUfiUkJj1
Fmp/vhuCKTDUP3AQKYBMlBCXZN22ADORzwftK4PQV0P+ow3gpHMMNgircCVoJtKD
FXWYWTfk0QT2WyNSADCR24/++XguaxUHO1/CqVsHa2tUcQCERpnQGRgLrbOyleAA
Qrnj7cLYyu3mZQIqv0nK5HuV+HRwbvDSnNjLDbf2Cq14Bk8nYA5q6b5/63/cuk5h
iFBqUuKRI7ftf8f9KM9/+6d0PLhauGtpwzh1hFJ18/P4C3C1xlN8DPSrmq4xd6zb
RmXsNAjZ7FoyACaY5r0JT/3pXzZS2bEuu6CQJnRh++GeLQnPV4oY67EJqJiWTbim
gQTze2HM65Bu
=rzff
-----END PGP SIGNATURE-----