-----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.18.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.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
Testsuite: autopkgtest
Build-Depends: debhelper-compat (= 13), dh-coq, dh-exec, dh-ocaml, dh-python, ocaml-dune, ocaml, ocaml-native-compilers, ocaml-findlib (>= 1.8.0), 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:
 880abe4c477b0b57ff4b9f8bd1a2ff56c8866ca4 4868368 coq_8.18.0+dfsg.orig.tar.xz
 6ee7f5b329a4b9bc76182d48d4b89e668d068c25 33160 coq_8.18.0+dfsg-1.debian.tar.xz
Checksums-Sha256:
 ae1e6c8905d0766b436c3ecff35e836b8d6c56507106d470c175f834b9de89bd 4868368 coq_8.18.0+dfsg.orig.tar.xz
 f3a5e4db041b560ee15014fde8f7a836880e9c4cf201e02722a92d4f3947e86b 33160 coq_8.18.0+dfsg-1.debian.tar.xz
Files:
 a217a12abf9ca7b00e72e99200c6cc31 4868368 coq_8.18.0+dfsg.orig.tar.xz
 c6af82172058bee3456b7cf144f60275 33160 coq_8.18.0+dfsg-1.debian.tar.xz

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEP0oSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRByoP/i/YFNSJLkmBJPu2TN3bgeLyS9R/K/Lc
AKi8Y8qSjH33niEplBUr1DgOsPYYbx22RtfJtavFKh9zYOqlVMJUzox8n37VrnhM
XIPQ0thGSgaZymHjWLIoUyeVKd1sFNF5Lpzew72kI1uH88VuoVoJyAhAC9fifZwF
vaiS1PeN8MZuzjXzZv1UcgMkS5AcQBBF5/2sE/E5s5L0h7yxk6sewq/THpcdAnkL
CNUbsJD1IZC8aGhza0URNX6HKNCf6drPG42A/G++uvWyH0qDmm/aThTX62BfQ1ux
OO3a/9yHdBEwO4ww8jJZue/yBJKvfZppKCD68ZXJtlyyGP83/BHLFNnuZjWEFFQJ
CCLIhFxFfSpu+MpN0XRPVbY+bX6MeVPGSb02inceKS6iyOYD74vPMiNLgD+dbf04
F/qBWHNMvxHhUUamSFLQuqWOeTWw2NgzhwY0+wcPNUaKjF6GatAa1oDWIgt/24Zb
QOsufYbX5zDFvxfnwxUYdfOvCzfArZYfFoXaE6T2bAVVsOHTqP7p06fgOzxnWBPU
rtdiSt2kHtprWC1BAcblvG+pw5oKj6fWzvMhH8AVMOW8pHwAnUIbT0T2LnVInJL8
C6RhCmSsABK0kpL6vMJx8hMmvngeQV9D3FGetRKYuVfxPYFGnHqxM24qDPwYlGa0
8otB3j59Xjob
=CEVP
-----END PGP SIGNATURE-----