-----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.0+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.0
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:
 48ac3b1751bcad0651f69567bf7407b362fd64b9 4669948 coq_8.15.0+dfsg.orig.tar.xz
 0336f32d1fabca48a00a2e4637d177e9c29fb3ac 39672 coq_8.15.0+dfsg-2.debian.tar.xz
Checksums-Sha256:
 dce3cc1633d9368bf4ce444e31bc837fa54d7cb186fbee50191dce03361d921d 4669948 coq_8.15.0+dfsg.orig.tar.xz
 7827a9cfa6c80a33c9149f5facac06becef0094786500683ffdd37d6e0836b63 39672 coq_8.15.0+dfsg-2.debian.tar.xz
Files:
 f6d50c68f8defba269e5bb26417c5a25 4669948 coq_8.15.0+dfsg.orig.tar.xz
 8d34c8d06b048f7bf8c5aa5bd5deb82b 39672 coq_8.15.0+dfsg-2.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmH9riQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRlo0P/0YcbmltiMMJKcxfR91gOHsxg7Yq/CUG
TJEzYXnto3sfAmYvmKxoHBxN2Idab26RIN78nGIB9VXKmHw/DJ9mLksIX1G4gByU
aNXVmwXsKfvJFUC/sKaCVX+fRHMf9C3QgKKa5dNqnagZaGqhUl6ugsD828/0Gi8L
TmlFVWcKpaLP+TGA2GB25klGtT70EA0MUKS0FUklzVQjh40USLQHFxZrYMjd+T4x
C2IgLM7d6W1GubzBi0XlbVr3p22EWudLCT0Il85xxT7v2GeRL9Q3TbGIYVj2sWV0
WkwaznyCPoYal+mEh7DyLG1k+ucB5EHnh2Cq+kvDRWDJmkMArtjCvADLDCxJXjCj
zQ4TEXKPPgeaJYpR6yBq0676YYQ3a9v648IlyPZGQccfYdzMLmSNKoWn2g2pQRf+
bRV+7j5UYWWPCJEAWOeQmx12ULxvDUTGza9UyCfZIXCmR5KMB8Sgw9LnHs45XgBG
wiXScn3NMDqZzVrpM+pqS+5XcpfPpje9oq/66f13SKewfONQXFj27k5do1h8RXu9
FsgFNHcs9UmMmyr0dvWmx9WNv69qt8JfdVNecEThogyARaeLG/9VF/9npAxfaFGk
tWeRzSXdZAyNW85/vPTSo77VRVzoYpJToZpFIymNPAfCI9AS6Hl3IaLFnZfdU4jZ
GPTE3fWv4/OK
=fgUj
-----END PGP SIGNATURE-----