Debian Patches

Status for coq/9.1.0+dfsg-2

Patch Description Author Forwarded Bugs Origin Last update
fix_debian_paths.patch use Debian paths everywhere first written by B.Barenblat in 2019, updated by J.Puydt in 2021 and 2025 not-needed
find_timing_scripts.patch move the timing scripts to a saner location J.Puydt not-needed
remove-tests-that-need-coqlib.patch Disable tests which require -coqlib to be set

A number of tests (mostly for coq_makefile) assume that Coq is
installed when the test runs. This isn't true in an sbuild environment,
though, so disable those tests.		 Benjamin Barenblat <bbaren@debian.org> not-needed 2019-08-11
remove-bytecode-failing-tests.patch Disable tests which require ocamlopt

Disable unit tests. They require ocamlopt, which isn't available on all
Debian architectures, and Gaëtan Gilbert says that "they don't test much
yet" anyway.

Also disable .vio tests, as they run afoul
of https://github.com/coq/coq/issues/9141.		 Benjamin Barenblat <bbaren@debian.org> not-needed 2019-08-11

All known versions for source package 'coq'

Links