-----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-----
