-----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 ppc64el s390x hurd-i386 ppc64 riscv64 Version: 8.14.1+dfsg-1 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,ppc64el,s390x,hurd-i386,ppc64,riscv64 coq-theories deb math optional arch=amd64,arm64,armhf,i386,ppc64el,s390x,hurd-i386,ppc64,riscv64 coqide deb math optional arch=amd64,arm64,armhf,i386,ppc64el,s390x,hurd-i386,ppc64,riscv64 libcoq-ocaml deb ocaml optional arch=amd64,arm64,armhf,i386,ppc64el,s390x,hurd-i386,ppc64,riscv64 libcoq-ocaml-dev deb ocaml optional arch=amd64,arm64,armhf,i386,ppc64el,s390x,hurd-i386,ppc64,riscv64 Checksums-Sha1: 8825cd8eacd75edb237829d4e1d085b106e05069 4614312 coq_8.14.1+dfsg.orig.tar.xz ce45fcba3c8e67b09b515dd5e7f16b480e0b062a 39916 coq_8.14.1+dfsg-1.debian.tar.xz Checksums-Sha256: 64c41fe6566465c343bc652691bb6e2bccff1a7dbbd4c97d3fe154e094d342a1 4614312 coq_8.14.1+dfsg.orig.tar.xz 5c55f268543370dfef63e243c8ad30f97acdf3af0fd601cc974bcb9342c53971 39916 coq_8.14.1+dfsg-1.debian.tar.xz Files: 83f6ebf664b30aacfa00af543012734a 4614312 coq_8.14.1+dfsg.orig.tar.xz 549e6b2f9761c86180976584163f87d1 39916 coq_8.14.1+dfsg-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmG0gg8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR6gYP/RCOTif/YsfKt3QGSPClYEzc3NTPWqjg 5Hjys5cXqenFf0e855Txd+QigfZJRqQOWtcReH4iJ+PzDW42Y+pAZdajL1HaTCb1 3GUESqNwNoDnlmlmnxAwBeb/9iV12Ce/XBI24ZibNrovA19FBQdeRu8RaMVhBBUR qhLDHb0XeqcL0Yy1NGRyzzoa0G6b71pscYjRr5y3mJr7ajFLTnJHWfrHDmxPTFPW LadLr1+9mSkVgMM1ECT++rSP1Kyc/OS4ch+wdfcBzukb9ghN7pXhqgDDHOT/MFvL Wv0U7G1gwBS5EkjOvqIiwrveN/8Z6pcnNxBqHxWo6KIkN4v3s+HTRO63eBJL+kW8 7d4fbXw3dyA0utKyYJao6DTYDGP8namPG9m2D76Fh5voiwgdHS8w/q2qx+M2wvsq tEcFakAZdIq1JzQfB+0kGYPyzTSbEaT48LtnYEqvxuIjplawe9fsO2n+vb+tp1Kw 1E+1D01CuAski+eWzlkvqXU08Jg1EvtTN6OjHTdoFsBiN215/AJ+0P/LlTDZn4Ka mXN0c65HoGyNKV/CI4AFbLGOCgF5N7MU92Ydhiq5qUeTAFUbwq+tD/GDlfSfVGGF wRViRovTkuPxBKz0u1NNSJm0ioaNL93V4eDaHhmWmV/TSg24Nh45e1xhNDJcuNeP D2o2eIH0/EdM =cHal -----END PGP SIGNATURE-----