Format: 1.8
Date: Thu, 05 Mar 2020 21:37:30 +0100
Source: coq
Binary: coq coq-theories coqide libcoq-ocaml libcoq-ocaml-dev
Architecture: amd64
Version: 8.11.0-1
Distribution: focal-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-058.buildd>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-theories - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-ocaml - runtime libraries for Coq
 libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 952454
Changes:
 coq (8.11.0-1) unstable; urgency=medium
 .
   * New upstream release.
   * Updated patches:
      - remove-heavy-tests: also remove success/Nia.v
      - avoid-usr-bin-env.patch: also patch dev/tools/update-compat.py.
        Thanks to the Gianfranco Costamagna for the hint (closes: #952454)
   * Refreshed patches:
     - remove-tests-that-need-coqlib
     - python-scripts-libraries
     - skip-dot-pc
     - verbose-build
     - remove-bytecode-failing-tests
   * Removed patches:
     - ssrmatching-license: fixed by upstream
     - use-changelog-date: fixed by upstream
   * New patch:
     - restore_g_ssrmatching.mli
     - votour-linking: patch by Hugo Herbelin (thanks!) fixes linking of
       votour on bytecode architectures
   * invoke "make test" with PRINT_LOGS=1 as suggested by SkySkimmer (thanks)
   * disable building of the VM on s390x, as suggested by ejgallego (thanks)
     This should fix a test failure on s390x
     (https://github.com/coq/coq/issues/11395)
   * Dispatch into different binary packages:
     - simplify find invocation in debian/rules
     - add *.vos files, new *.cmo, *.cmxs files
     - add votour and doc_grammar binaries
   * Add an as-installed test for the compiler and the toplevel
   * Renamed debian/TODO.Debian to debian/TODO
   * Bump build-dependency on ocaml to >= 4.05, as indicated by INSTALL
Checksums-Sha1:
 03b251b4f28924d27b561a2598dcd88e98291fac 7275244 coq-dbgsym_8.11.0-1_amd64.ddeb
 dac3b1288c12dc01fd767266e12315cf7b3eccef 868976 coq-theories-dbgsym_8.11.0-1_amd64.ddeb
 71e6c54e386bee1b42f785bf40646fbbe49da0e7 33079952 coq-theories_8.11.0-1_amd64.deb
 0b61aa95855a90c5de10ad9b5da2f4734fb97054 18775 coq_8.11.0-1_amd64.buildinfo
 567bfc563a6bc7eec6e0fb647f9b1b8fab7c3d48 76583920 coq_8.11.0-1_amd64.deb
 01ec1c85ca0cf9c43cfb59269cd50c354e6889bc 534088 coqide-dbgsym_8.11.0-1_amd64.ddeb
 31b1537fa9a5a9e9a7533f9fc6db0a1d70adc791 1758824 coqide_8.11.0-1_amd64.deb
 b51c31a59606dae1690db9e1f9ebe515876e8d4a 652040 libcoq-ocaml-dbgsym_8.11.0-1_amd64.ddeb
 423e74fdd02a00de7537921ad99efb9120ae5a94 16068892 libcoq-ocaml-dev_8.11.0-1_amd64.deb
 5f6745e012d16d1ae1a4d29195b1afe8ce8ebd42 6324304 libcoq-ocaml_8.11.0-1_amd64.deb
Checksums-Sha256:
 467082b3dff9174419d792c6caadac7086fbfecf24754572f22cab907571139b 7275244 coq-dbgsym_8.11.0-1_amd64.ddeb
 9b65f2bacd222e383277a2f25ded61b2d86682403e1204829bfd8bce560047c6 868976 coq-theories-dbgsym_8.11.0-1_amd64.ddeb
 21f4032be83df12be62f0bfe3e6be56d950034207d568a13da8610bbb3fd7072 33079952 coq-theories_8.11.0-1_amd64.deb
 47a1158a5cb36a4713ee6c212de60d788a234a9ead5e40a2ee4ba17e62d10de0 18775 coq_8.11.0-1_amd64.buildinfo
 3683f07bfcdb55e4542cd3e928e7ffe489ba7fb6c3aa1a82c2f0f340628b2bb6 76583920 coq_8.11.0-1_amd64.deb
 d32c489cffd0c7e3791c5bc6a83ce876a6158fd46dbcd72860cb164ce1f45667 534088 coqide-dbgsym_8.11.0-1_amd64.ddeb
 ca6ce62595d153014e5acd5ba441f7eb858039d82cfe36bed2f7cb6b3b78229d 1758824 coqide_8.11.0-1_amd64.deb
 c3427f7129adda78aab8f5859c775e57ba3b2fdc01c1febde8b856434a870377 652040 libcoq-ocaml-dbgsym_8.11.0-1_amd64.ddeb
 a5fd48355ab203a9131c73ef9c490a94f8dffb5fe452e8267d7678441dbbf1b8 16068892 libcoq-ocaml-dev_8.11.0-1_amd64.deb
 aeedfa1fdc335cff8828c5a9fa00b33fae4b268878001b3b494da4a7a3412096 6324304 libcoq-ocaml_8.11.0-1_amd64.deb
Files:
 b8698e2a0840571ae5b1390932db6daa 7275244 debug optional coq-dbgsym_8.11.0-1_amd64.ddeb
 9011eb9a362fa769725abe075c01bcfb 868976 debug optional coq-theories-dbgsym_8.11.0-1_amd64.ddeb
 ec8b9139f36fbb813a0459bc16ec4a5d 33079952 math optional coq-theories_8.11.0-1_amd64.deb
 c3d7ef178cbd60f4a1fdef973c70b702 18775 math optional coq_8.11.0-1_amd64.buildinfo
 4a0a60c5f62383bf2a1ef33a5c10765b 76583920 math optional coq_8.11.0-1_amd64.deb
 69b28f132cbf67ce75276cc2067e39e5 534088 debug optional coqide-dbgsym_8.11.0-1_amd64.ddeb
 f324e63a1122cd5ecba95d5bf16a5f40 1758824 math optional coqide_8.11.0-1_amd64.deb
 8d8077ba36167875552b6942ee8882ea 652040 debug optional libcoq-ocaml-dbgsym_8.11.0-1_amd64.ddeb
 34521f948a0bb021441285d55c3fcce7 16068892 ocaml optional libcoq-ocaml-dev_8.11.0-1_amd64.deb
 701fc8fa98e5f756dad7f0e6f745075a 6324304 ocaml optional libcoq-ocaml_8.11.0-1_amd64.deb