-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

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-3build3
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
 d5699754bdcfd928d3b27684a3e88f35a8c147f8 33012 coq_8.19.1+dfsg-3build3.debian.tar.xz
Checksums-Sha256:
 27e8da966b976fe64c496b81da2c90477dcbecea6f8af4424e9caff06d419350 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 81b2953d073de1384a1a3fa5bcb74431be027fdf37dc0580b5f5e0915e57eb5e 33012 coq_8.19.1+dfsg-3build3.debian.tar.xz
Files:
 dea6de51a6e8218824751962ae449098 5589471 coq_8.19.1+dfsg.orig.tar.bz2
 47292bb7edfc11323c7a09012b834cb1 33012 coq_8.19.1+dfsg-3build3.debian.tar.xz

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAmbb93kACgkQ808JdE6f
XdkFeQ/+JYEyA+iH+TlZYvJQtCReBwZ+ReEjwWDPMR4+z03k1tn/qCdZTfeTgJLm
Y7Wb99HTGnB8w+EuqIJtHfX8W0jm4meX+l1Ok/hpvgcdvP789VzHwdi79R1YTOv2
2PnoBnfY4ScGlWNQ58vQl+SWlE7Mx1iN3pvUpiMxqYwDfcIfHUAZrLPxdqvfOLSZ
0znQErP4XY14sT/OT52WUkuJp1w6fv5Zq6RpYe82gyGxoeuXFdK2ybTMsItJVpt1
+F/kl+3DfwC44Yn2RhyT6OrXXEXBbLGtAeh6U2Rr41L6vWBvknFBYUp89sNBKRAX
n6WQ7tXw/3coDjcXnS38P0L/iMnZ6BlbN93NoAP2uM1AttPPfq/E05arocw39Kx3
KtYXQ2LGtXlZL9UBqqBJTMq5Wpjit8LLWGwmwcDFgnR1gE4+Ls+YYB4Lmshii6Ta
8HfT6Ad0wFD/J4kBGqaJBRXj0eFPacdwDzTr1tJyoKPfdrMAUFCUInNslP4a/pwv
PECKdktbWzr1/rsGoj8Xk9dIB3O9Q7H7CfWR9EzsK/iG2IENV4Kaf4Tz1MrETMs0
cAZDJm7VxwJZwWlj2P9DUE49RxuKD6UADEPGgC1VgQVg4HoGGRWLdAkOszLqZTCF
+uvL7ZIlMfCZBucUkxX2VsZFQt/hLRt7JU6mBP4TwctmD3Q01E0=
=XFPS
-----END PGP SIGNATURE-----