Debian Patches

Status for hol-light/1:3.1.0-2

Patch Description Author Forwarded Bugs Origin Last update
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
0003-Support-OCaml-5.4-and-latest-camlp5-minor-improvemen.patch Support OCaml 5.4 and latest camlp5, minor improvements
Other improvements are:
- Add pa_j/chooser.sh that picks the right pa_j*.ml file according to the OCaml and
camlp5 versions. Makefile is updated to use this file.
- The HOL Light version in META was wrong; updated to 3.1.0		 Juneyoung Lee <lebjuney@amazon.com> no https://github.com/jrh13/hol-light/pull/148 2025-11-16
0004-Add-update_database_5.4.ml-add-chooser.sh-for-databa.patch Add update_database_5.4.ml, add chooser.sh for database Juneyoung Lee <lebjuney@amazon.com> no https://github.com/jrh13/hol-light/pull/148 2025-11-17

All known versions for source package 'hol-light'

Links