Debian Patches

Status for hol-light/1:3.0.0-2

Search:

Patch	Description	Author	Forwarded	Bugs	Origin	Last update
cd-holtest-parallel.patch	cd for holtest_parallel because it works only in that 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

Showing 1 to 2 of 2 entries