Information for RPM ocaml-0install-solver-2.18-5.rvre0.fc42.riscv64.rpm

ID101
Build0install-2.18-5.rvre0.fc42
Nameocaml-0install-solver
Version2.18
Release5.rvre0.fc42
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 Time2025-04-02 10:55:03 GMT
Size294.44 KB
e84b4aa521056e77e503d36df2f4ba29
LicenseLGPL-2.1-or-later
git:https://github.com/0install/0install.git
Provides
ocaml(Zeroinstall_solver) = 28e4856165202b16adfe42aa0c221f19
ocaml(Zeroinstall_solver__) = dcffd76956e221c6bfa9a3bb6938aaf4
ocaml(Zeroinstall_solver__Diagnostics) = ea46788adba80a63e93fe3a0de23c203
ocaml(Zeroinstall_solver__S) = 5e8d80457e16e5b1aa16bd691182c71c
ocaml(Zeroinstall_solver__Sat) = b3c34887a72d111bb4c9ac25020e9317
ocaml(Zeroinstall_solver__Solver_core) = 6abb46f9bd346285532264e2a662f560
ocaml-0install-solver = 2.18-5.rvre0.fc42
ocaml-0install-solver(riscv-64) = 2.18-5.rvre0.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848
ocaml(CamlinternalOO) = 7104364f38cf3c63ed2f3069b6f44253
ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f
ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
ocaml(Stdlib__ListLabels) = 9d8c7a36d981cc0636f00d3d90085f3e
ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e
ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
ocaml(Stdlib__Option) = 1f125c281d6cce512ab4ed7b9a269937
ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181
ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627
ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
ocaml(Zeroinstall_solver__) = dcffd76956e221c6bfa9a3bb6938aaf4
ocaml(Zeroinstall_solver__Diagnostics) = ea46788adba80a63e93fe3a0de23c203
ocaml(Zeroinstall_solver__S) = 5e8d80457e16e5b1aa16bd691182c71c
ocaml(Zeroinstall_solver__Sat) = b3c34887a72d111bb4c9ac25020e9317
ocaml(Zeroinstall_solver__Solver_core) = 6abb46f9bd346285532264e2a662f560
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/ac0.00 B
/usr/lib/.build-id/ac/a7319b98e977e6233b96c095e49d48996e68a667.00 B
/usr/lib64/ocaml/0install-solver0.00 B
/usr/lib64/ocaml/0install-solver/META215.00 B
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cma187.44 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmi6.85 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmxs275.73 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__.cmi447.00 B
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__Diagnostics.cmi9.94 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__S.cmi8.18 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__Sat.cmi1.64 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__Solver_core.cmi22.07 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 No Buildroots