Accepted coq 8.11.0-1 (source) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 05 Mar 2020 21:37:30 +0100
Source: coq
Architecture: source
Version: 8.11.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
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:
747e10c7d10c10c94bdedc79d0e8c22d2b910a50 2496 coq_8.11.0-1.dsc
2060835b376b6bc9669e6d0a01929c094351d153 5825620 coq_8.11.0.orig.tar.gz
070499f52619dabc38c5960fed369b61b7e567bd 31672 coq_8.11.0-1.debian.tar.xz
2a3b481403be8ec92ce35b5f41b8e467af38cd09 16593 coq_8.11.0-1_source.buildinfo
Checksums-Sha256:
3bae766caf927d8865d2a1fe94708f1498bb3af075a7f89a2c73fe45eebefbf6 2496 coq_8.11.0-1.dsc
578344b3f01c89af65b9f9902c4a07df8faa2b8f8ec080a53bd3f7848a91bfd9 5825620 coq_8.11.0.orig.tar.gz
8ac88e9f07ee7cb9c268457daf2a07f7f8276d3c71ac4449c13fdbbae611e961 31672 coq_8.11.0-1.debian.tar.xz
0c90b82599075b8bd20d910ddba2497ff1fe70d9e691bb5d282edfd801739340 16593 coq_8.11.0-1_source.buildinfo
Files:
42dfa50394052c04f029eb3384520fdc 2496 math optional coq_8.11.0-1.dsc
ea1c950f8864e16455823006104ce30a 5825620 math optional coq_8.11.0.orig.tar.gz
5bf07a30596f5db69dfcf3c4fdf0f8cc 31672 math optional coq_8.11.0-1.debian.tar.xz
f2d41aef33f565c1652a23c8c3f8bdc3 16593 math optional coq_8.11.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAl5hbu8ACgkQdFxHZtTK
zf/Elg//fqEOOzcvzRcLmwudWpFWMyQbh1dO8yUTQciHrdrkkEwi2EEiTFsf+2pa
6oaT3z+v/ayRKdaXeh0+/QwEIcy2q06IE/cIjc0xQqL9iGP35mSB1GvUljB9h7xx
2qQ/bljRJLmfpRiahwL/ss1HU3Wcf6uhNN53fc0LTSFGecKywl4gmkTgXc7iGNq2
vdnWVb6j5UFiD5d/NmMHNwrXKQrvARchJTgYm3hU4FPsLkyEdNWpzgN0Ij7xPu7v
jHiBgpeCrKjQ8ANebjsxiSvA71PjuAMvotVBdsd5JpRIFwvwMCqUkk20F1eV1uyp
M3B0jwVmv9MXcMy/1N9ln7rnqM74S0VpsVcReonghr4InQNshbf7fYnBZ2d2+tDq
93z03VvKV/etItGkhTRscABnIlpozO6rgw6dsP/rYoDuY+JkXrXXT8mwT0eYuml+
nehxy+vn97NIs6RrQfwhnQor369mWK7NmleYXjFcYGAPwc1AayMuzTIpk8LCEl7G
UUzIFw1xAeyMQ/kgokcJdDmL+RRn5GzkbL3QGZXOj08EQ61zpGoKgW0uNrfLMC23
NT1DgcfWFvxl4b8oj28ZoOoselPtZFB6VV0KM4hOL8c2rd29vGp0z5QP2WZUwPX5
v1cw2O2/gF4FIlBoFF+uOwDX83l3yOtTPLM4SwLqsFD6JgUprFE=
=io/5
-----END PGP SIGNATURE-----