-----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-1build2
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
 5101a241a15e083f63a69783f8bb34a8d82dc371 33336 coq_8.18.0+dfsg-1build2.debian.tar.xz
Checksums-Sha256:
 ae1e6c8905d0766b436c3ecff35e836b8d6c56507106d470c175f834b9de89bd 4868368 coq_8.18.0+dfsg.orig.tar.xz
 ae172c31df40d652a3af97d1963831d7cd519e351cc3c440b8a011b0f84d3448 33336 coq_8.18.0+dfsg-1build2.debian.tar.xz
Files:
 a217a12abf9ca7b00e72e99200c6cc31 4868368 coq_8.18.0+dfsg.orig.tar.xz
 5fae216f2cdf9db638d11d79677ce1df 33336 coq_8.18.0+dfsg-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJouwaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2GdRAAx9wqxRYLoG/rZybcb3Jm
RmU8f5mcTqk/4Ikhp+gtP7vsZV/H0rFdtUfamUvfUJnajXI6yPskGt98nlpNVDbv
ow9vuCVaumT7bePm5wRlM3AgQGT9F5t0J9EvmXZ6aNQb0L1T1s3doRKm9+C3aSGh
MNhBVarvlaiwKxfQctPTAmrM2BxOFOVGOFjeOxLiezwWhrhkwT/oFL23gStOWM+A
+1Q8FsyecQkBlSGJ9Bjc62KpwcpQ0e2HjapOXyggUkA/f/W0s5cXMXT3Z1o7SQKm
GtBYiaeAUAjkp9OBTFASqV8Dupxeck1FpNRjmAqaFrD1i12Qbr1A2WAK3VOxueLJ
+8ogi08dwSro5g6e1cgUNEvxQSN/TtTXUr1PQtCculwMP4cfl1eWkmucg/kvYUtr
vs3QsyZ1qXYwwwwtM5lFzQbR0XPVcILD+bvVj+ANRPrykW0pmmrL2342l22Of8/h
871X/7mOSXw0W1AdRvskL+Xwaj85uy56QISp0Ssb/jGBrEwrxwblVSb59fgt6gYK
d8Gql1tNcvjKLyCYVIE8C1yUWykLawwpCgQ6cxF5jJp5JJkdHRMIN+o9NPQ1lyPz
HReKoX/FMTm1tiUZBJp836Tle21gWrASeJzNfikqPjNCeFQb+Va/HhFxZyN9sUD+
mWwNPy4oqanPi2XZWpAJktc=
=hf2/
-----END PGP SIGNATURE-----