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: ppc64el
Version: 8.11.0-1
Distribution: focal-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-007.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:
 043cda438faccfb86787dd8a54b58a19cea5dcbf 5651144 coq-dbgsym_8.11.0-1_ppc64el.ddeb
 4e1c3c70a9d83e9b88c5a23be805a70259373fa2 21426376 coq-theories_8.11.0-1_ppc64el.deb
 e0b18bbb211396e1593ea3c755310015d94ca004 18596 coq_8.11.0-1_ppc64el.buildinfo
 c2002ede64acece74182affb988050afac49f1df 78792904 coq_8.11.0-1_ppc64el.deb
 5be6ab4a825042d9f608e29082650369b7e23285 479296 coqide-dbgsym_8.11.0-1_ppc64el.ddeb
 71b7e4f869b228894e986777a7d6c6ee31a332be 1905696 coqide_8.11.0-1_ppc64el.deb
 8afd90484a2111653bbe47e7a7034a5e978794a7 509152 libcoq-ocaml-dbgsym_8.11.0-1_ppc64el.ddeb
 0d55d78138adc20ad542501b4e7677238d88f40e 16492924 libcoq-ocaml-dev_8.11.0-1_ppc64el.deb
 33fa51f686ecf4658a73f2252115fdaf9adc7dc2 6500588 libcoq-ocaml_8.11.0-1_ppc64el.deb
Checksums-Sha256:
 e82a32bcfcba7140f5856a4a60c2f1524509540227177b254c29268edc420b1d 5651144 coq-dbgsym_8.11.0-1_ppc64el.ddeb
 68a3d0a84e688c1bff6f07da9205ee3d1960dd6653001ebfcb05ec0ea0ff949e 21426376 coq-theories_8.11.0-1_ppc64el.deb
 1d6d562de0da984c48d577067888397dd4d2f4a447710184a84abfd2682c2642 18596 coq_8.11.0-1_ppc64el.buildinfo
 39c3b04699ecaacc1692a25e362f469c1f992c4a46d9101cc2e9b7a399a8ccaf 78792904 coq_8.11.0-1_ppc64el.deb
 a678108d41d9aa0991fe0c1965c569028e9e48e71d26651f6a2c269b554f60e3 479296 coqide-dbgsym_8.11.0-1_ppc64el.ddeb
 15e0df81588fa31069553f10716d3389d63ea853770744fa5e868b5687c56300 1905696 coqide_8.11.0-1_ppc64el.deb
 25b46489b41e969454a810d3ec2e4f4fea553c40678d67b6551f1a99a499cdbf 509152 libcoq-ocaml-dbgsym_8.11.0-1_ppc64el.ddeb
 bfbf2513625ed5da96a364496177a2b2c847da82c0fe34da6588c4aad31f5eba 16492924 libcoq-ocaml-dev_8.11.0-1_ppc64el.deb
 7e57f3a4aa24e4c6c393997c154f4889850431f934c5fb34ec0631478ea58670 6500588 libcoq-ocaml_8.11.0-1_ppc64el.deb
Files:
 55ce7a144f839f0d8ff7b8f8bd9c8511 5651144 debug optional coq-dbgsym_8.11.0-1_ppc64el.ddeb
 298fb69dc1b3d76889340aa2f3744692 21426376 math optional coq-theories_8.11.0-1_ppc64el.deb
 71552cdd0f9a84c2ff871a1246304a5b 18596 math optional coq_8.11.0-1_ppc64el.buildinfo
 465b47eef659f5b3e064f75b758a5a3f 78792904 math optional coq_8.11.0-1_ppc64el.deb
 115c8f03bbbb113301642ed46b3918c1 479296 debug optional coqide-dbgsym_8.11.0-1_ppc64el.ddeb
 261ce2877f866fcf833c930c0abf9c6b 1905696 math optional coqide_8.11.0-1_ppc64el.deb
 1a8d1a196ad3c8266e3d00fc8ed3025a 509152 debug optional libcoq-ocaml-dbgsym_8.11.0-1_ppc64el.ddeb
 2b4477105fbcee316c3840bcd3471f86 16492924 ocaml optional libcoq-ocaml-dev_8.11.0-1_ppc64el.deb
 bfee85b51bc948eae22c3226d9b9597d 6500588 ocaml optional libcoq-ocaml_8.11.0-1_ppc64el.deb