[ trixie ]
[ sid ]
Pakiet: lib0install-solver-ocaml-dev (2.18-1 i inne) [debports]
Odnośniki dla lib0install-solver-ocaml-dev
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [docs.0install.net]
Podobne pakiety:
package dependency solver (dev)
A package dependency resolver based on a SAT solver. This was originally written for the 0install package manager, but is now generic and is also used as a solver backend for opam. The SAT solver is based on MiniSat (http://minisat.se/Papers.html) and the application to package management is based on OPIUM (Optimal Package Install/Uninstall Manager). 0install-solver uses a (novel?) strategy to find the optimal solution extremely quickly (even for a SAT-based solver).
This package contains development files.
Inne pakiety związane z lib0install-solver-ocaml-dev
|
|
|
|
-
- dep: lib0install-solver-ocaml-3rss5
- pakiet wirtualny udostępniany przez lib0install-solver-ocaml
-
- dep: libstdlib-ocaml-dev-bkvu1
- pakiet wirtualny udostępniany przez libstdlib-ocaml-dev
-
- dep: ocaml-5.2.0
- pakiet wirtualny udostępniany przez ocaml
Pobieranie lib0install-solver-ocaml-dev
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| sparc64 (port nieoficjalny) | 2.18-1+b1 | 430,4 KiB | 580,0 KiB | [lista plików] |