ocamlPackages.ocaml-solo5 1.3.4 maintained
OCaml cross-compiler to the freestanding Solo5 backend
- Name
ocaml-solo5-1.3.4- Package set
- ocamlPackages
- Homepage
- https://github.com/mirage/ocaml-solo5
- License
- MIT
- Source
- pkgs/development/ocaml-modules/ocaml-solo5/default.nix:144
- Derivation
/nix/store/j4cddci2y2w1psic9wc2vqx5frplc4kk-ocaml-solo5-1.3.4.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
- Also available as
ocamlPackages_latest.ocaml-solo5
Maintainers 5
| Handle | Name | Contact | Via |
|---|---|---|---|
| stepbrobd | Yifei Sun | GitHub · ysun@hey.com · @ysun:beeper.com | listed on package |
| eljamm | Fedi Jamoussi | GitHub · fedi.jamoussi@protonmail.ch | team NGI |
| ethancedwards8 | Ethan Carter Edwards | GitHub · ethan@ethancedwards.com · @ethancedwards8:matrix.org | team NGI |
| phanirithvij | Phani Rithvij | GitHub · phanirithvij2000@gmail.com · @phanirithvij:matrix.org | team NGI |
| Prince213 | Sizhe Zhao | GitHub · prc.zhao@outlook.com · @prince213:matrix.org | team NGI |
Teams 1
- NGI: Maintain NGI-supported software.
Dependencies 6
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| solo5 0.10.1 | propagatedBuildInputs | 1 | unmaintained | |
| ocaml 5.5.0 | nativeBuildInputs | 1,487 | single outdated | |
| ocamlPackages.findlib 1.9.8 | nativeBuildInputs | 1,473 | unmaintained | |
| opam 2.5.2 | nativeBuildInputs | 3 | unmaintained outdated | |
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,086 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.