Wed, 18 Sep 2024 23:44:12 UTC | login

Information for RPM ocaml-0install-solver-2.18-1.fc41.riscv64.rpm

ID1363094
Nameocaml-0install-solver
Version2.18
Release1.fc41
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 Time2024-07-25 10:54:38 GMT
Size293.17 KB
b3e9e78fedeffb2ac7f29ab50b259eb6
LicenseLGPL-2.1-or-later
git:https://github.com/0install/0install.git
Buildrootf41-build-821259-152503
Provides
ocaml(Zeroinstall_solver) = e26ca21ef13879fd54659396b4df8231
ocaml(Zeroinstall_solver__) = 80812db7c7a61c4e7db682e4be48d7de
ocaml(Zeroinstall_solver__Diagnostics) = 4302e96a20171959a7b257256adf4fcd
ocaml(Zeroinstall_solver__S) = f0e3faa361211f42dd0d7e053104e250
ocaml(Zeroinstall_solver__Sat) = fba81ed49953fed9429cbb79573f0999
ocaml(Zeroinstall_solver__Solver_core) = 12b4e6f3b2e8e008813eedd62037d963
ocaml-0install-solver = 2.18-1.fc41
ocaml-0install-solver(riscv-64) = 2.18-1.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea
ocaml(CamlinternalOO) = bf3206c1e533a97ee4e00a76bfe1dae6
ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189
ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc
ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a
ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
ocaml(Stdlib__ListLabels) = 782292d5cc0c445b35dbbbf716e399b9
ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e
ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7
ocaml(Stdlib__Option) = 3be0d99b92eff9b8e5a209e054f6fee3
ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d
ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
ocaml(Zeroinstall_solver__) = 80812db7c7a61c4e7db682e4be48d7de
ocaml(Zeroinstall_solver__Diagnostics) = 4302e96a20171959a7b257256adf4fcd
ocaml(Zeroinstall_solver__S) = f0e3faa361211f42dd0d7e053104e250
ocaml(Zeroinstall_solver__Sat) = fba81ed49953fed9429cbb79573f0999
ocaml(Zeroinstall_solver__Solver_core) = 12b4e6f3b2e8e008813eedd62037d963
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/a90.00 B
/usr/lib/.build-id/a9/d49dc7a899626a41921de45a124a14f3ecce5667.00 B
/usr/lib64/ocaml/0install-solver0.00 B
/usr/lib64/ocaml/0install-solver/META215.00 B
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cma186.47 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmi6.83 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmxs275.71 KB
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__.cmi445.00 B
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__Diagnostics.cmi9.97 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.cmi21.90 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 4 of 4
Buildroot descending sort Created State
f41-build-846721-163131 2024-09-13 01:45:53 expired
f41-build-846018-162905 2024-09-12 05:58:15 expired
f41-build-838735-159724 2024-08-12 03:19:09 expired
f41-build-821800-152618 2024-07-25 13:17:10 expired