-----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-1build3
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
 efe4590e8fd0ab22aa287b65e9da18c128965482 30312 coq_8.20.1+dfsg-1build3.debian.tar.xz
Checksums-Sha256:
 333423556aa0b9f1c5ba435b8a6f081fad9613c6396d5b73784bb8028fefa7a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 e1920e281acf043bea6dbc7f03d436d43249c163fea086d2732c2e2581089dc7 30312 coq_8.20.1+dfsg-1build3.debian.tar.xz
Files:
 5ac7712d0d946a8733aa3fea7eae57bb 5014988 coq_8.20.1+dfsg.orig.tar.xz
 286b57ad1d031cf93667d538e443108c 30312 coq_8.20.1+dfsg-1build3.debian.tar.xz

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

iQIzBAEBCgAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAml5Lg8ACgkQ808JdE6f
XdlJ8hAAsWZ9nq37w953LpfTrw/QQbgJpjeja+PKCH3YjVIi/YPX0ceXaE47b4vZ
ylcxl78iI8GB9e5anMRa3CVXaUOiaDbJXupknYuCcQUh3tP50vWmq7jP1LN3A9yK
i54L7ISB+IfdprU2ziJfzO4hoDqIVpM3jUZ6xPH3jkdJDH9Dg2438dgnFWSbjLEJ
ZM7e0ttqAmSwHt2z3wWjptCyubZgTF8x4wZ3uSyU8pJGlVmloRNkn7ztRbnwGato
8F9a/NCvDFtaOelzLnhxDKchBRTJNxnmF0WOZeuV97SabbSfMv3NR8KmxEp1GRdZ
ch3D2dKzCeLCL/R5cAyurBM6Fa3OtGtEAikodmYvjKU4Hz/T5BFyotmfuI1YxENN
9mkAtRwPDvt1Fr+9/Qn0AD0WPdsdKrrxRwqgq8A6mtRzh1bQ/SDaJIAiDe7hYP/D
QKRriDwptqfFT2Z8pzM1NKvJDlPndkjCgH1bNXxU+KA2Botq+5MpmiCX0ZmeN9Mx
vs5/OrYCCiJHQPvQszUhfRyfLVDVNJVm7FVtHuHdroBCcjeR4ZTgR/Jyawin7/VQ
OCc1b6MzFpgm2ILl7jKKpWstXYRF6QngIHlP26jM8D1586OoEBLGigXOAZiNXn4p
5M/B5pSIAJ0nJSf8Ia+/N3XQj8jAyDemHuhlsXzn2CQgssmrYIE=
=K3qa
-----END PGP SIGNATURE-----