Alle Optionen
trixie  ] [  sid  ]
[ Quellcode: 0install-solver  ]

Paket: lib0install-solver-ocaml-dev (2.18-1 und andere)

Links für lib0install-solver-ocaml-dev

Screenshot

Debian-Ressourcen:

Quellcode-Paket 0install-solver herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

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.

Andere Pakete mit Bezug zu lib0install-solver-ocaml-dev

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

lib0install-solver-ocaml-dev herunterladen

Download für alle verfügbaren Architekturen
Architektur Version Paketgröße Größe (installiert) Dateien
alpha (inoffizielle Portierung) 2.18-1+b1 430,3 kB580,0 kB [Liste der Dateien]
amd64 2.18-1+b2 494,0 kB948,0 kB [Liste der Dateien]
arm64 2.18-1+b1 492,8 kB967,0 kB [Liste der Dateien]
armel 2.18-1+b1 430,4 kB580,0 kB [Liste der Dateien]
armhf 2.18-1+b1 430,4 kB580,0 kB [Liste der Dateien]
hppa (inoffizielle Portierung) 2.18-1+b1 430,4 kB580,0 kB [Liste der Dateien]
i386 2.18-1+b1 430,4 kB580,0 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 2.18-1+b1 430,3 kB580,0 kB [Liste der Dateien]
mips64el 2.18-1+b1 430,5 kB580,0 kB [Liste der Dateien]
ppc64 (inoffizielle Portierung) 2.18-1+b1 430,4 kB580,0 kB [Liste der Dateien]
ppc64el 2.18-1+b1 498,4 kB1.013,0 kB [Liste der Dateien]
riscv64 2.18-1+b1 522,8 kB1.408,0 kB [Liste der Dateien]
s390x 2.18-1+b1 490,7 kB932,0 kB [Liste der Dateien]
sh4 (inoffizielle Portierung) 2.18-1+b1 430,4 kB580,0 kB [Liste der Dateien]
sparc64 (inoffizielle Portierung) 2.18-1+b1 430,4 kB580,0 kB [Liste der Dateien]
x32 (inoffizielle Portierung) 2.18-1+b1 430,4 kB580,0 kB [Liste der Dateien]