-----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.20.1+dfsg-1build5
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:
 a95cfc700019159da05ba7bb6e3afc4e6fdc78a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 68e64b5de3cabef3be475a6701fb0712756f71ce 30376 coq_8.20.1+dfsg-1build5.debian.tar.xz
Checksums-Sha256:
 333423556aa0b9f1c5ba435b8a6f081fad9613c6396d5b73784bb8028fefa7a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 4e56235ce7bf7e2b8ffe0982e629d9fc756318857ad475d07c1e576e878287f5 30376 coq_8.20.1+dfsg-1build5.debian.tar.xz
Files:
 5ac7712d0d946a8733aa3fea7eae57bb 5014988 coq_8.20.1+dfsg.orig.tar.xz
 9c40bc4fd20937471798a593aad51c34 30376 coq_8.20.1+dfsg-1build5.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmpNYKsACgkQ808JdE6f
XdkNDRAAvd5oCHEfYm79W8dE2GSHSDHR/AXYyuQnDfaDF7VEwKqT9MG5p6cfXNJP
I9G2pgD21moC88V9TgehSg6MUOjXSR7vJXD/AHlKqlcG9LzYdGvXUtjsLe9MEhc5
JPQsRLSQSPLsFfL6chv01JWXntOV+HdHEZ9fQOi3dOq69swZ4h9nkbuV3jOSIf73
vOnaXtC/dfGRzCmLhEcS27Lq1q69EiT7NQ+oivoIoNoK+JannCy/i1ki5PumuRmR
qSnE1mmosdLFvDrfwb7FX4RCGnzV/lj5/3DJg+Dq49cc9tneu/OZerX+Iy5Nq89W
X0Re/mroomEeUarbUk1e4UIIScmioBijVaaJ92GKZW3799Aw73ODXIjzz5Z6esxl
m/EnU0Vm9f4Temi1sBC2clG2AWi0BoK/1aCWhBLdVvRc0/OpzatMergot5ApnbYx
24qVcVjsMLMWGXUT7fVL48Ln1yeSoFcoDKeJVuPoedAxeY13PBS7O6KjaoSwGuXo
LF3sbCVbMLRsH42hbRUkJnIijb7aTwBtrreOAwMCo5k4AtwLU8tOD7SmyNIgI5Vx
ywqrohbAYY5B7jDXPa2I4hF+i111xFdG7lqwkH/jNeBTeqUe4goNqXe5G+qVAOF3
4QTe6d3OSZ8Vew5qL7rWwN+opeVVh9y4BHnUl/eo2T/WltyI1XE=
=vNsO
-----END PGP SIGNATURE-----