hol_light
hol_light 0-unstable-2026-09-02 · pkgs/by-name/ho/hol_light/package.nix
Health
Risk
risk 0 ok
Version
0-unstable-2026-09-02 no newer release known to repology
Channels
master 0-unstable-2026-09-02 · nixos-unstable 0-unstable-2026-09-02 · nixos-26.05 0-unstable-2026-05-19 master is ahead of nixos-26.05
Hydra
succeeded 2d ago
Advisories
none open
Packaging
not read yet: the next index sweep reads it
Maintainers
Pull requests 0
None open.
Closed or merged in the synced window 5
various: OCaml multiple outputs
#567406 by georgyo · merged 1d ago
hol_light: 0-unstable-2026-05-19 -> 0-unstable-2026-09-02
#558986 by mkannwischer · merged 6w ago
hol_light: 0-unstable-2026-05-19 -> 0-unstable-2026-09-02
#558980 by mkannwischer · closed 6w ago
ocaml: default to version 5.5
#554609 by vbgl · merged 7w ago
Issues 0
None open.