-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: coq
Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev
Architecture: any
Version: 8.15.0+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.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
Build-Conflicts: libcoq-ocaml
Package-List:
 coq deb math optional arch=any
 coq-theories deb math optional arch=any
 coqide deb math optional arch=any
 libcoq-ocaml deb ocaml optional arch=any
 libcoq-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
 48ac3b1751bcad0651f69567bf7407b362fd64b9 4669948 coq_8.15.0+dfsg.orig.tar.xz
 b96f755bfcf8c0a24eb666d5022ee06889c48e61 39728 coq_8.15.0+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 dce3cc1633d9368bf4ce444e31bc837fa54d7cb186fbee50191dce03361d921d 4669948 coq_8.15.0+dfsg.orig.tar.xz
 96c7a9850ba64d16d88b05e983d254d76f57ef5ed8c6ccaf25c39f4c672071cf 39728 coq_8.15.0+dfsg-1build1.debian.tar.xz
Files:
 f6d50c68f8defba269e5bb26417c5a25 4669948 coq_8.15.0+dfsg.orig.tar.xz
 826811d8593ff41dea90a8a89249026c 39728 coq_8.15.0+dfsg-1build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAmHwD/YQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9b0/D/wINLAPAZ50gmPcplLeReDASOkqbpK3lQL2
aWZmBtHAMqzj3/i2te0gI++zJh7CJ9XrLCGD5iiXFK2vJgVkNKtN4n/3Y4W3mq63
Pd1+lbcWEnxbok+DaZv/BqnXu1pFSoSyRZOt8UCcb0mn0xNNag+1YQQ+umkN+kjr
3w5nu4Lj2GvCnUBtywUHxWMF8PM4ZeNuihuAqUIds4YRXNhtLp8fV+kDizzAvlvG
OH9FhhgVoD+uHeJpJ00hJvWUNfI7xvhuTy6EqThKAZkpeCzhORNYwwMkwDEPo+FD
kJZdc5robnBVPslEopZ62lFTv4ZKQrcNiIeVV3H1xvbg9pzaTgH0EQOqikMLfnS2
fN/CPicmWafhLmFb3V2CQgzs+h2EugiVrqMB//MU4vwkG7SvkpPM/TPVF+H0f0pY
TyZENfjzUDAsUiknRVxRLVr5nktU0j1qdrA05wiwJzSHmhqUnCIhvEhbpuw9McVN
DcLi736B1wM35Okl2qL2jj2U0R52KDk03QRedD8DCat940vU637PWVtINVZ29XQL
/1f2vKSXHtDbsoX5Aw/ZL1r3DKg85SuG5fyeI2VYTrlqB1DdZQFaGODu8EUda4Od
G3cBqcKZD4IvHOrpb01FFsq4kcvmslRmlw6xM6/e9/TvCEpFml47QTms7UNxRiow
e45u9WgUpg==
=GBVL
-----END PGP SIGNATURE-----