-----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-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 d0d07c9f789347d9cb1dba1ae6769cf1c7e58131 33300 coq_8.18.0+dfsg-1build1.debian.tar.xz
Checksums-Sha256:
 ae1e6c8905d0766b436c3ecff35e836b8d6c56507106d470c175f834b9de89bd 4868368 coq_8.18.0+dfsg.orig.tar.xz
 2c69c6a29747c5a7788abfcf2473506919c3b4005bc8be6bedb6d6573d747b2c 33300 coq_8.18.0+dfsg-1build1.debian.tar.xz
Files:
 a217a12abf9ca7b00e72e99200c6cc31 4868368 coq_8.18.0+dfsg.orig.tar.xz
 7b3624efe66a9a9e4ef6605d30ff2d3a 33300 coq_8.18.0+dfsg-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmXqjywaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz3f8xAAlVdGpxQk/EDm69hgWA06
lBo5lqNw+KaEvfdmedKtTNR6N2tf3cLw2QjRu80OlYgV7jo3d1D+a7pLxsfwIYWO
GkXla6mGCxsyXVvzlxgUylnC1XThozyUlrExBr/NCqyLm8vA8Lktb5hszzxpDMhh
dCkggEP2OL/sMUlz0uJQ/s+DsWRsWoAELhUVxCRddeAM4T+xfQittkzQOsikkDZ5
XcPba86wDFBo9A65tVZjwNu8PoeHQymJ3nt2nfP6giqsIYvOi50GQqh0AJUwwAvm
RvIiShzh2wjpW9P88yvZWzWf01bec3cA/Uq9aEPimTScLrIamzoNz1ilWENiLrZ7
xyHDExlvcWav2i6eSfWL4tZlFV3tEkg8lKIaqbwhwR4NN6AIattXBDRriAId0RBS
TbcfricuQ/ZOxS+NaGH9Oa6bTHWqyxIHVF3TiAM8LLREz/83Zw2bBabX0L144d8T
pYkCLUqca2U94uPT41XNPD8U5sxqgR5MiRnMceVlVY+l3LyfRI57LJKhD46v/g24
WOX5zmcJCKsd94d8Uk5jyKpKDoFQw7sfmtzEbqIOjErIqA/6MUBqjBcie0/bpcEX
fiwG4eGj4BWds6co063a03VLY+S2X2H5Iuo2Qmwg6kiUsp08ShTZyqiL1nxDNp24
2ClWkA+FBUO1b4oRFdIJnEE=
=0dKQ
-----END PGP SIGNATURE-----