Tue, 20 Oct 2026 23:44:29 UTC | login

Information for RPM ocaml-0install-solver-2.18-11.fc45.riscv64.rpm

ID7948
Build0install-2.18-11.fc45
Nameocaml-0install-solver
Version2.18
Release11.fc45
Epoch
Archriscv64
DraftFalse
SummaryPackage dependency solver
DescriptionZero Install is a decentralized cross-distribution software installation system. Other features include full support for shared libraries (with a SAT solver for dependency resolution), sharing between users, and integration with native platform package managers. It supports both binary and source packages, and works on Linux, macOS, Unix and Windows systems. This package contains 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).
Build Time2026-10-12 07:59:44 GMT
Size312.39 KB
6b791870d6ce47e7831b54fc7689ddc7
LicenseLGPL-2.1-or-later
git:https://github.com/0install/0install.git
Buildrootf45-build-869-288
Provides
ocaml(Zeroinstall_solver) = 5d5c935d474db7f29136f12bdcd7dfea
ocaml(Zeroinstall_solver__) = d8982ba6e694c3adc9ad6c10d2e7a64e
ocaml(Zeroinstall_solver__Diagnostics) = f006d62710734fa59f482d073cc16def
ocaml(Zeroinstall_solver__S) = e92bae0ca597e35cd3f78557a022b209
ocaml(Zeroinstall_solver__Sat) = 9bef3485a4657c05696b51211535e5a0
ocaml(Zeroinstall_solver__Solver_core) = 559945fe07e050fac31b07cc35ca6a3a
ocaml-0install-solver = 2.18-11.fc45
ocaml-0install-solver(riscv-64) = 2.18-11.fc45
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda
ocaml(CamlinternalLazy) = 39aa2e9bf7e25b383556f7748b45c72f
ocaml(CamlinternalOO) = 9f49656fc194179b6162657dd5d0ca85
ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f
ocaml(Stdlib__Array) = 09ad905d6230fc4f28ae1b69e8675e79
ocaml(Stdlib__Buffer) = c0940caa52bfb8d306ed2ca69af87ed6
ocaml(Stdlib__Domain) = d11ad689f3e35d9892101961a1201121
ocaml(Stdlib__Either) = e4e548dbb128df23a9325d9cba39fc2f
ocaml(Stdlib__Format) = 5b2f2a54d0831d599db87620d18b8ca1
ocaml(Stdlib__Hashtbl) = 6df0309fbcf3f1661d9e3d07a603aa3e
ocaml(Stdlib__Int32) = 6583ec691ad5b5d0403bb4dba14ff95a
ocaml(Stdlib__Lazy) = 9888b2ba7f344f43c41116cffda5081a
ocaml(Stdlib__List) = 81a27a0a9af489e91fa1d99f325067c2
ocaml(Stdlib__ListLabels) = c14d79ae3e29c7f9c7fa2c244b6525c1
ocaml(Stdlib__Map) = a9944feda56cab2432578db95de546a3
ocaml(Stdlib__Obj) = 26b40efd5c9a30f8c9c87c6133b5adbf
ocaml(Stdlib__Option) = f93ad2dd791886bf1fd9094af33bb172
ocaml(Stdlib__Queue) = e259a6289d4b4587c82128e5e4a93d77
ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111
ocaml(Stdlib__Set) = 878d51b56f0f7be3121d17ee49b6ece5
ocaml(Stdlib__String) = 10f6a338df78df4f5987192086ffa3c9
ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1
ocaml(Zeroinstall_solver__) = d8982ba6e694c3adc9ad6c10d2e7a64e
ocaml(Zeroinstall_solver__Diagnostics) = f006d62710734fa59f482d073cc16def
ocaml(Zeroinstall_solver__S) = e92bae0ca597e35cd3f78557a022b209
ocaml(Zeroinstall_solver__Sat) = 9bef3485a4657c05696b51211535e5a0
ocaml(Zeroinstall_solver__Solver_core) = 559945fe07e050fac31b07cc35ca6a3a
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 18 of 18
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/b20.00 B
/usr/lib/.build-id/b2/ef3c88b1a1cd83a09b5af460e46766f37628c867.00 B
/usr/lib64/ocaml/0install-solver0.00 B
/usr/lib64/ocaml/0install-solver/META215.00 B
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cma199.99 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmi7.38 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmxs275.94 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__.cmi447.00 B
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__Diagnostics.cmi10.89 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__S.cmi8.99 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__Sat.cmi1.70 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__Solver_core.cmi24.51 KB
/usr/share/doc/ocaml-0install-solver0.00 B
/usr/share/doc/ocaml-0install-solver/CHANGES.md6.07 KB
/usr/share/doc/ocaml-0install-solver/README.md8.71 KB
/usr/share/licenses/ocaml-0install-solver0.00 B
/usr/share/licenses/ocaml-0install-solver/COPYING25.91 KB
Component of
1 through 1 of 1
Buildroot descending sort Created State
f45-build-39992-764 2026-10-20 16:36:34 expired