Mon, 13 Jan 2025 05:28:47 UTC | login

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

ID1489390
Nameocaml-0install-solver
Version2.18
Release2.fc42
Epoch
Archriscv64
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-01-12 16:35:17 GMT
Size292.86 KB
732e8006c55dc3d563699df8b216c880
LicenseLGPL-2.1-or-later
git:https://github.com/0install/0install.git
Buildrootf42-build-865894-173577
Provides
ocaml(Zeroinstall_solver) = 0e5297f3076af5a6d94230fd64fba47b
ocaml(Zeroinstall_solver__) = dcffd76956e221c6bfa9a3bb6938aaf4
ocaml(Zeroinstall_solver__Diagnostics) = d7426b906d10e89253d5f264baa5ded5
ocaml(Zeroinstall_solver__S) = d36906a544d84b1452d23efc690be8a8
ocaml(Zeroinstall_solver__Sat) = b3c34887a72d111bb4c9ac25020e9317
ocaml(Zeroinstall_solver__Solver_core) = 2b65a6db26f7f7c6278dbcbc0a31c0a5
ocaml-0install-solver = 2.18-2.fc42
ocaml-0install-solver(riscv-64) = 2.18-2.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848
ocaml(CamlinternalOO) = e79775f1d870ceba2a88f0340a0810e8
ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7
ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7
ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f
ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
ocaml(Stdlib__ListLabels) = 9d8c7a36d981cc0636f00d3d90085f3e
ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212
ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
ocaml(Stdlib__Option) = 1f125c281d6cce512ab4ed7b9a269937
ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181
ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7
ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
ocaml(Zeroinstall_solver__) = dcffd76956e221c6bfa9a3bb6938aaf4
ocaml(Zeroinstall_solver__Diagnostics) = d7426b906d10e89253d5f264baa5ded5
ocaml(Zeroinstall_solver__S) = d36906a544d84b1452d23efc690be8a8
ocaml(Zeroinstall_solver__Sat) = b3c34887a72d111bb4c9ac25020e9317
ocaml(Zeroinstall_solver__Solver_core) = 2b65a6db26f7f7c6278dbcbc0a31c0a5
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/fa0.00 B
/usr/lib/.build-id/fa/772c5f2eef9ef0dae75fe8d07c901771dcb2ce67.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.39 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmi6.85 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmxs270.56 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
1 through 2 of 2
Buildroot descending sort Created State
f42-build-866040-173661 2025-01-12 20:36:17 expired
f42-build-865982-173613 2025-01-12 18:33:18 expired