1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
Source: 0install-solver
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Stéphane Glondu <glondu@debian.org>
Build-Depends:
debhelper-compat (= 13),
ocaml,
ocaml-dune,
libounit-ocaml-dev <!nocheck>,
dh-ocaml (>= 2)
Standards-Version: 4.7.0
Rules-Requires-Root: no
Section: ocaml
Homepage: https://docs.0install.net/developers/solver/
Vcs-Browser: https://salsa.debian.org/ocaml-team/0install-solver
Vcs-Git: https://salsa.debian.org/ocaml-team/0install-solver.git
Package: lib0install-solver-ocaml-dev
Architecture: any
Provides: ${ocaml:Provides}
Depends:
${ocaml:Depends},
${shlibs:Depends},
${misc:Depends},
Description: 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.
Package: lib0install-solver-ocaml
Architecture: any
Provides: ${ocaml:Provides}
Depends:
${ocaml:Depends},
${shlibs:Depends},
${misc:Depends},
Description: package dependency solver (runtime)
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 runtime files.
|
