alla flaggor
trixie  ] [  sid  ]
[ Källkod: 0install-solver  ]

Paket: lib0install-solver-ocaml-dev (2.18-1 och andra)

Länkar för lib0install-solver-ocaml-dev

Screenshot

Debianresurser:

Hämta källkodspaketet 0install-solver:

Ansvariga:

Externa resurser:

Liknande paket:

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.

Andra paket besläktade med lib0install-solver-ocaml-dev

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta lib0install-solver-ocaml-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
alpha (inofficiell anpassning) 2.18-1+b2 429,7 kbyte579,0 kbyte [filförteckning]
amd64 2.18-1+b3 493,2 kbyte949,0 kbyte [filförteckning]
arm64 2.18-1+b2 491,7 kbyte968,0 kbyte [filförteckning]
armel 2.18-1+b2 429,7 kbyte579,0 kbyte [filförteckning]
armhf 2.18-1+b2 429,7 kbyte579,0 kbyte [filförteckning]
hppa (inofficiell anpassning) 2.18-1+b2 429,6 kbyte579,0 kbyte [filförteckning]
i386 2.18-1+b2 429,7 kbyte579,0 kbyte [filförteckning]
m68k (inofficiell anpassning) 2.18-1+b2 429,7 kbyte579,0 kbyte [filförteckning]
mips64el 2.18-1+b2 429,8 kbyte579,0 kbyte [filförteckning]
ppc64 (inofficiell anpassning) 2.18-1+b2 429,7 kbyte579,0 kbyte [filförteckning]
ppc64el 2.18-1+b2 497,4 kbyte1.014,0 kbyte [filförteckning]
riscv64 2.18-1+b2 521,2 kbyte1.410,0 kbyte [filförteckning]
s390x 2.18-1+b2 489,7 kbyte932,0 kbyte [filförteckning]
sh4 (inofficiell anpassning) 2.18-1+b2 429,6 kbyte579,0 kbyte [filförteckning]
sparc64 (inofficiell anpassning) 2.18-1+b2 429,7 kbyte579,0 kbyte [filförteckning]
x32 (inofficiell anpassning) 2.18-1+b2 429,7 kbyte579,0 kbyte [filförteckning]