Debian Patches
Status for hol-light/1:3.0.0-2
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 |
All known versions for source package 'hol-light'
- 1:3.0.0-2 (trixie, sid)
- 20230128-1 (bookworm)
- 20190729-4 (bullseye)