Debian Patches

Status for hol-light/20190729-4

Patch Description Author Forwarded Bugs Origin Last update
default-hollight-dir configure default HOL Light source directory Hendrik Tews <hendrik@askra.de> no 2020-02-12
holtest-no-proof-recording.patch don't build the proof-recording version as part of the test suite Hendrik Tews <hendrik@askra.de> no 2020-02-12
cd-holtest-parallel.patch cd for holtest_parallel because it works only in that directory Hendrik Tews <hendrik@askra.de> no 2020-02-12
0004-Fix-compilation-with-camlp5-7.11.patch Fix compilation with camlp5 7.11 Stephane Glondu <steph@glondu.net> no 2020-02-12

All known versions for source package 'hol-light'

Links