-----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.1+dfsg-2
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:
 4a69035238a4684650c30396c71d64b67b5c2fca 4672764 coq_8.15.1+dfsg.orig.tar.xz
 1e9d99664b157e78209e6e98b0a8826546bcbef8 40084 coq_8.15.1+dfsg-2.debian.tar.xz
Checksums-Sha256:
 75f7fe4a6f289db41d2758acb68a28409b084b56af78f8b81269cc56500e9e89 4672764 coq_8.15.1+dfsg.orig.tar.xz
 aa60c44680a03018d7e63f0e90215447e02874a4c36f90bdd189e47d9b6ceb69 40084 coq_8.15.1+dfsg-2.debian.tar.xz
Files:
 4da85cebc30b568a89f686b4d55fdf74 4672764 coq_8.15.1+dfsg.orig.tar.xz
 3e1bd64583e1cb326546c2d745e0ed45 40084 coq_8.15.1+dfsg-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKH2XsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfJwP/jvlma6V2jB1lg034vrWaKkiXSApwviQ
e0rQe2rQ4EDAMwQJK7gPeUaVquODPe1ua8y+V/gunceLC2/fBtRDImdOIa8GJxpF
ppFjYxz0MaMQVKw+5yqwh2D58edDyhQiYf7FR+TvY2NkgVT1XcGCNnb2yhixnNxT
CvRPSgEiX+N7WxJe969YNAEyqh4ObMHOlaGFQecBtnuLS4zJ6KF3JxkyqidtZQ/m
WoepGqtOkPqsJ1ljFOA+8sPD8OaqNSEEjDGPmonmN8RbJV9UPn3wF9Fh6zhcs4WW
AC4JYJBKtiwk5D+GdPl1Rt+E1nPdFcSGTZTFYDjjvUcEKjMtS7uRmz8Mu5szVdQE
2486/XYmavOF60EiLZdu0oJECsU6xRgK3K+gtRFrZGv/lMjVcA4BogCvrkZ4fFw6
tp+HHR+LJtx18KjuzVxtWPEx1WkHjN9+ZlwxECNZsOYNbZedO0oXL6+SZgCg7wMj
RxHXuqY0sqp6qEpI+H78LZQdhoqNfGW8v9yCfEP0Q5OAsyn/iOEEFa7rRs81eden
heSV7TTBWzcWJnlaU6QjlcOVZ3Ge1ilQwJKfprBfX/I24ITjO8S42n/SB1aZqdYE
8Kz6rc4wbSk9RFEDDEReApGGRBoPVml5qg5KuOfYVyl80lchlW1W0sxz57bi9jhg
eXLuH8fgq6MU
=7esV
-----END PGP SIGNATURE-----