hol_light 0-unstable-2026-09-02 maintained outdated
Interactive theorem prover based on Higher-Order Logic
- Name
hol_light-0-unstable-2026-09-02- Package set
- top-level
- Homepage
- http://www.cl.cam.ac.uk/~jrh13/hol-light/
- License
- BSD-2-Clause
- Main program
hol_light- Source
- pkgs/by-name/ho/hol_light/package.nix:122
- Derivation
/nix/store/6n785w43km08hz3n5dksnrwa6awcfy6b-hol_light-0-unstable-2026-09-02.drv- Repology
- outdated, newest version is 20231021 · hol-light (as of 2026-10-07T10:23:38Z)
Maintainers 3
| Handle | Name | Contact | Via |
|---|---|---|---|
| mkannwischer | Matthias Kannwischer | GitHub · matthias@kannwischer.eu | listed on package |
| thoughtpolice | Austin Seipp | GitHub · aseipp@pobox.com | listed on package |
| vbgl | Vincent Laporte | GitHub · Vincent.Laporte@gmail.com | listed on package |
Dependencies 12
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.camlp-streams 5.0.1 | propagatedBuildInputs | 189 | single | |
| ocamlPackages.fmt 0.11.0 | propagatedBuildInputs | 835 | single | |
| ocamlPackages.pcre2 8.0.4 | propagatedBuildInputs | 13 | single | |
| ocamlPackages.zarith 1.14 | propagatedBuildInputs | 153 | maintained | |
| bash 5.3p15 | buildInputs | 59,960 | maintained outdated | |
| ledit 2.08 | buildInputs | 1 | single | |
| ocaml 5.5.0 | buildInputs | 1,487 | single outdated | |
| ocamlPackages.camlp5 8.05.02 | buildInputs | 11 | single | |
| ocamlPackages.findlib 1.9.8 | buildInputs | 1,473 | unmaintained | |
| makeBinaryWrapper 26.05pre-git | nativeBuildInputs | 77,078 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.