[ubuntu/focal-proposed] coq 8.11.0-1 (Accepted)
Gianfranco Costamagna
costamagnagianfranco at yahoo.it
Fri Mar 6 07:50:33 UTC 2020
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
Date: 2020-03-06 04:28:33.012148+00:00
Signed-By: Gianfranco Costamagna <costamagnagianfranco at yahoo.it>
https://launchpad.net/ubuntu/+source/coq/8.11.0-1
-------------- next part --------------
Sorry, changesfile not available.
More information about the Focal-changes
mailing list