-
coq (8.12.0-3build1) groovy; urgency=medium
* No-change rebuild against latest lablgtk3
-- Jeremy Bicha <email address hidden> Sat, 03 Oct 2020 20:40:29 -0400
-
coq (8.12.0-3) unstable; urgency=medium
* Upload to unstable
-- Ralf Treinen <email address hidden> Wed, 09 Sep 2020 21:16:07 +0200
-
coq (8.11.0-1build1) groovy; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Wed, 13 May 2020 13:46:51 +0200
-
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
-- Ralf Treinen <email address hidden> Thu, 05 Mar 2020 21:37:30 +0100