ocamlPackages.opam-solver 2.5.2 team-only outdated
This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam
- Name
ocaml5.5.0-opam-solver-2.5.2- Package set
- ocamlPackages
- Homepage
- https://opam.ocaml.org/
- License
- LGPL-2.1-only
- Source
- pkgs/development/ocaml-modules/opam-solver/default.nix:32
- Derivation
/nix/store/24ls13x1mbipaf08lvmp755r32p81vsk-ocaml5.5.0-opam-solver-2.5.2.drv- Repology
- outdated, newest version is 2.6.1 · ocaml:opam-solver (as of 2026-10-08T00:43:59Z)
- Also available as
ocamlPackages_latest.opam-solver
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| stepbrobd | Yifei Sun | GitHub · ysun@hey.com · @ysun:beeper.com |
Dependencies 12
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.cudf 0.10 | propagatedBuildInputs | 6 | unmaintained | |
| ocamlPackages.dose3 7.0.0 | propagatedBuildInputs | 3 | unmaintained | |
| ocamlPackages.mccs 1.1+19 | propagatedBuildInputs | 3 | unmaintained | |
| ocamlPackages.opam-0install-cudf 0.5.0 | propagatedBuildInputs | 3 | single | |
| ocamlPackages.opam-format 2.5.2 | propagatedBuildInputs | 10 | team-only outdated | |
| ocamlPackages.re 1.12.0 | propagatedBuildInputs | 842 | single outdated | |
| ocamlPackages.z3 5.1.0 | propagatedBuildInputs | 7 | maintained | |
| dune 3.23.1 | nativeBuildInputs | 1,402 | single 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,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 1 directly, 2 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| ocamlPackages.opam-client 2.5.2 | propagatedBuildInputs | 1 | team-only outdated |