SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-0install-solver rpm build for : Rawhide. For other distributions click ocaml-0install-solver.

Name : ocaml-0install-solver
Version : 2.18 Vendor : Fedora Project
Release : 2.fc42 Date : 2025-01-10 04:37:58
Group : Unspecified Source RPM : 0install-2.18-2.fc42.src.rpm
Size : 0.52 MB
Packager : Fedora Project
Summary : Package dependency solver
Description :
Zero 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).

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/development/rawhide/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
ocaml(Zeroinstall_solver)
ocaml(Zeroinstall_solver__)
ocaml(Zeroinstall_solver__Diagnostics)
ocaml(Zeroinstall_solver__S)
ocaml(Zeroinstall_solver__Sat)
ocaml(Zeroinstall_solver__Solver_core)
ocaml-0install-solver
ocaml-0install-solver(x86-64)

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)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/c8
/usr/lib/.build-id/c8/fa884a8ba1e0bf1857495f268730187b54e19b
/usr/lib64/ocaml/0install-solver
/usr/lib64/ocaml/0install-solver/META
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cma
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmi
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmxs
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__.cmi
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__Diagnostics.cmi
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__S.cmi
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__Sat.cmi
/usr/lib64/ocaml/0install-solver/zeroinstall_solver__Solver_core.cmi
/usr/share/doc/ocaml-0install-solver
/usr/share/doc/ocaml-0install-solver/CHANGES.md
/usr/share/doc/ocaml-0install-solver/README.md
/usr/share/licenses/ocaml-0install-solver
/usr/share/licenses/ocaml-0install-solver/COPYING

 
ICM
This page is using cookies. Read moreOK, I understand