ocamlPackages.linksem 0.8 unmaintained
Formalisation of substantial parts of ELF linking and DWARF debug information
- Name
ocaml5.5.0-linksem-0.8- Package set
- ocamlPackages
- Homepage
- https://github.com/rems-project/linksem
- License
- BSD-2-Clause
- Source
- pkgs/development/ocaml-modules/linksem/default.nix:32
- Derivation
/nix/store/6n6fkam4sk6hai88bids7sg68ckpyq90-ocaml5.5.0-linksem-0.8.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
- Also available as
ocamlPackages_latest.linksem
Maintainers 0
This package has no maintainers.
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.lem 2025-03-13 | propagatedBuildInputs | 4 | unmaintained outdated | |
| ocaml 5.5.0 | nativeBuildInputs | 1,487 | single outdated | |
| ocamlPackages.findlib 1.9.8 | nativeBuildInputs | 1,473 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,086 | team-only |
Used by 1 directly, 2 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.sail 0.20.1 | propagatedBuildInputs | 1 | unmaintained outdated |