ocaml-0install-solver-2.18-5.fc43 RPM for x86_64

From Fedora Rawhide for x86_64 / o

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).

Provides

• ocaml-0install-solver
• 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(x86-64)

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)

License

LGPL-2.1-or-later

Changelog

* Sat Jul 12 2025 Jerry James <loganjerry@gmail.com> - 2.18-5
  - Rebuild to fix OCaml dependencies
* Mon Jan 20 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.18-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.18-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 2.18-2
  - OCaml 5.3.0 rebuild for Fedora 42
* Wed Jul 17 2024 Jerry James <loganjerry@gmail.com> - 2.18-1
  - Version 2.18

Files

/usr/lib/.build-id
/usr/lib/.build-id/c5
/usr/lib/.build-id/c5/85f3be9ad9bc28ed67c1b087e41a8dea14ed79
/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

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Jul 17 00:42:46 2025