-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coq Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev Architecture: amd64 arm64 armhf i386 mips64el mipsel ppc64el s390x hurd-i386 ppc64 riscv64 Version: 8.14.0+dfsg-4 Maintainer: Debian OCaml Maintainers Uploaders: Benjamin Barenblat , Julien Puydt , Ralf Treinen , Stéphane Glondu Homepage: http://coq.inria.fr/ Standards-Version: 4.6.0 Vcs-Browser: https://salsa.debian.org/ocaml-team/coq Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git Testsuite: autopkgtest Build-Depends: bash (>= 5.0), debhelper-compat (= 13), dh-exec, dh-ocaml (>= 0.9.5~), dh-python, ocaml-dune, ocaml-nox (>= 4.05), ocaml-findlib (>= 1.8.0), camlp5 (>= 6.14), liblablgtk3-ocaml-dev, liblablgtksourceview3-ocaml-dev (>= 3.0~beta8), libnum-ocaml-dev, libounit-ocaml-dev, libzarith-ocaml-dev, python3, rsync, tex-common Build-Conflicts: libcoq-ocaml Package-List: coq deb math optional arch=amd64,arm64,armhf,i386,mips64el,mipsel,ppc64el,s390x,hurd-i386,ppc64,riscv64 coq-theories deb math optional arch=amd64,arm64,armhf,i386,mips64el,mipsel,ppc64el,s390x,hurd-i386,ppc64,riscv64 coqide deb math optional arch=amd64,arm64,armhf,i386,mips64el,mipsel,ppc64el,s390x,hurd-i386,ppc64,riscv64 libcoq-ocaml deb ocaml optional arch=amd64,arm64,armhf,i386,mips64el,mipsel,ppc64el,s390x,hurd-i386,ppc64,riscv64 libcoq-ocaml-dev deb ocaml optional arch=amd64,arm64,armhf,i386,mips64el,mipsel,ppc64el,s390x,hurd-i386,ppc64,riscv64 Checksums-Sha1: 1cebd1e8d107dfe885dad6be3a6adbd80a7b4d69 4612184 coq_8.14.0+dfsg.orig.tar.xz bcde7acb5f2e139ac4fe2479224e873de9424823 39800 coq_8.14.0+dfsg-4.debian.tar.xz Checksums-Sha256: 7676f1a7ff01ef91ed126db8b07faa2403d9d0404ee7af44b9a1e7df288ff512 4612184 coq_8.14.0+dfsg.orig.tar.xz b7851ef824dff080e9c07e726546bfc683059b5c67d6703b8360fc0c7b35218d 39800 coq_8.14.0+dfsg-4.debian.tar.xz Files: c7d98331b270e6c20b734deb1cd3f049 4612184 coq_8.14.0+dfsg.orig.tar.xz 53ea74659338ae05aef130981b31ab3a 39800 coq_8.14.0+dfsg-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGR94gSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRGlwQAJkLW9VRPTcG7on88ZFoS8GcGXMPT8XF Cs0fpcTYq3/T9yb/Kzgy4GEbsjj2l1w1P2RiSciUvbIHkxgkxOFId+SmgF0/bKJK 3rZ40IlWRzo3Cy9UE8sTfPv69qUUqTSMZrb/DO2gT9eDpbrz227/CcwGG4JCESC1 IrUIyZAnqZSqAwQy/O7w0LEX57OGY8qWtecZigAUNfFJ06pCfZdRo8Cy9ptV9feh RbLu1P4ZfbNUv92kx84gIENdVMct0pechqKedx6RwWBq3ijTktOkIi7fLFjbTVfX T+Gn4iFzv7YJ06ln4qRb9C92ecOkh3CPxLOHZ6sffUIWVSrPgRM80/9WlQtjIkv9 U8jE/FgL5bo5U9Q6T7tM/IfyAXicQgtLv1smDh+bktenteWCPIeB4J5Maou4zu4o nF34pR3fOZRIXbjDe6CopDwm1Yh1jjsmiCNtzEanAHZveRJ26QOHpCF4X/xmSBIQ mj8gAXFOu7XTj2mt51LlAnx2AVmBo4HeShSRpI3crq1rM6MlTzpbpIxZxujTUltk gSianIgG+0NrvCNPc3fxuBN99R9ivSHt1IlNfmRXT6jB27jDdTDDoGbjJUdxe7up AqvoRZG8WrrcSmg7f3lBljDqCOgYpZrzPX1k1hADVwRCcG8o3xi0NS7ZzzbB4cmx gBesjJSmj+MV =HuXN -----END PGP SIGNATURE-----