Debian Patches
Status for hol-light/1:3.1.0+git20260619-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 | ||
| 0002-Add-support-for-OCaml-5.5.patch | Add support for OCaml 5.5 | Stephane Glondu <steph@glondu.net> | no | 2026-07-04 |
All known versions for source package 'hol-light'
- 1:3.1.0+git20260619-2 (forky, sid)
- 1:3.0.0-2 (trixie)
- 20230128-1 (bookworm)