-----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.19.1+dfsg-3build2
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:
 674cd32b741c1235653e4a8737ef3f15e3895259 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 b5599e169dff45f4ef3e2edaa5b17028b6f8fa4a 33028 coq_8.19.1+dfsg-3build2.debian.tar.xz
Checksums-Sha256:
 27e8da966b976fe64c496b81da2c90477dcbecea6f8af4424e9caff06d419350 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 92e18c03816bead7f7e389bcee1ed3081d7ca3ffb2b23a2e8fdad97dcd31796d 33028 coq_8.19.1+dfsg-3build2.debian.tar.xz
Files:
 dea6de51a6e8218824751962ae449098 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 554e7ef2bd106a8c98e501041257b514 33028 coq_8.19.1+dfsg-3build2.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmbbGhAACgkQLIPbyOm9
DjeKDRAAmtIYonSmUYOR8igGnWj0oT6YooRqUGfJ0hnm7TVqTcB+wuN+520EU4z0
aqEYpMRspIYk24eqDmCPxoJDLcvijQmH77e9QW2yeQX+k5sGfyJMADZT8W082YQY
ORwe/jbTSkrUZj7bQAHKkYUW4zxMbmUM6fBkRMkAswBkb9ue2TYi5WFru/Gq5ug5
GN5INrawJjn49K2k9BRibWcHXESqMDQqerSTPE5/D+9sl97evWjigeVtio/1eMh5
YtyjrK2g0gehz7sh4VS797uez9GgK5roPyauWQUKy+vJX61vwWwrpENMNiYKSdkZ
1PppZWvFTBIQ2id7vv8K5iXltPZKK8U3ZBJfRrv4LalcOZSRot/rqoYGh6saIqlV
w4xpWdVwhv7exqd8ZlY7OWIK6SC0IcthmIIr/rHFj7DMdiOlYDGObyJCG46hJpuP
k+42cJH3V2Drwv3ZYfmd9wV3yhTOYuEqZ5lFrMtopceN0GuRNecyFKMqsw9DeJ1s
0wqUEciIpnfBI99wctF1SVCNZzJZpLzLD8BlABCsO+PMmuxlOFAfHS0IPpTl8Z5b
49P6ptle7zFQzomoRoxTxjQmNSCs7DxJOjU/RdvZZNDPr39F5x/f87qtCwFIWzfz
glUDA38m+QI8zhP6aeRvgT6+JmO7gFr0LbZhKsCvM0RJK/LPots=
=c6vG
-----END PGP SIGNATURE-----