全部搜索项
trixie  ] [  sid  ]
[ 源代码: 0install-solver  ]

软件包:lib0install-solver-ocaml-dev(2.18-1 以及其他的)

lib0install-solver-ocaml-dev 的相关链接

Screenshot

Debian 的资源:

下载源码包 0install-solver

维护小组:

外部的资源:

相似软件包:

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.

其他与 lib0install-solver-ocaml-dev 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • 增强

下载 lib0install-solver-ocaml-dev

下载可用于所有硬件架构的
硬件架构 版本 软件包大小 安装后大小 文件
alpha (非官方移植版) 2.18-1+b1 430.3 kB580.0 kB [文件列表]
amd64 2.18-1+b2 494.0 kB948.0 kB [文件列表]
arm64 2.18-1+b1 492.8 kB967.0 kB [文件列表]
armel 2.18-1+b1 430.4 kB580.0 kB [文件列表]
armhf 2.18-1+b1 430.4 kB580.0 kB [文件列表]
hppa (非官方移植版) 2.18-1+b1 430.4 kB580.0 kB [文件列表]
i386 2.18-1+b1 430.4 kB580.0 kB [文件列表]
m68k (非官方移植版) 2.18-1+b1 430.3 kB580.0 kB [文件列表]
mips64el 2.18-1+b1 430.5 kB580.0 kB [文件列表]
ppc64 (非官方移植版) 2.18-1+b1 430.4 kB580.0 kB [文件列表]
ppc64el 2.18-1+b1 498.4 kB1,013.0 kB [文件列表]
riscv64 2.18-1+b1 522.8 kB1,408.0 kB [文件列表]
s390x 2.18-1+b1 490.7 kB932.0 kB [文件列表]
sh4 (非官方移植版) 2.18-1+b1 430.4 kB580.0 kB [文件列表]
sparc64 (非官方移植版) 2.18-1+b1 430.4 kB580.0 kB [文件列表]
x32 (非官方移植版) 2.18-1+b1 430.4 kB580.0 kB [文件列表]