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