ocaml-0install-solver-2.18-16.fc46 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) = 5cba8713ea434e43a50cd422bda47dda
• ocaml(CamlinternalLazy) = 39aa2e9bf7e25b383556f7748b45c72f
• ocaml(CamlinternalOO) = 9f49656fc194179b6162657dd5d0ca85
• ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f
• ocaml(Stdlib__Array) = 09ad905d6230fc4f28ae1b69e8675e79
• ocaml(Stdlib__Buffer) = c0940caa52bfb8d306ed2ca69af87ed6
• ocaml(Stdlib__Domain) = d11ad689f3e35d9892101961a1201121
• ocaml(Stdlib__Either) = e4e548dbb128df23a9325d9cba39fc2f
• ocaml(Stdlib__Format) = 5b2f2a54d0831d599db87620d18b8ca1
• ocaml(Stdlib__Hashtbl) = 6df0309fbcf3f1661d9e3d07a603aa3e
• ocaml(Stdlib__Int32) = 6583ec691ad5b5d0403bb4dba14ff95a
• ocaml(Stdlib__Lazy) = 9888b2ba7f344f43c41116cffda5081a
• ocaml(Stdlib__List) = 81a27a0a9af489e91fa1d99f325067c2
• ocaml(Stdlib__ListLabels) = c14d79ae3e29c7f9c7fa2c244b6525c1
• ocaml(Stdlib__Map) = a9944feda56cab2432578db95de546a3
• ocaml(Stdlib__Obj) = 26b40efd5c9a30f8c9c87c6133b5adbf
• ocaml(Stdlib__Option) = f93ad2dd791886bf1fd9094af33bb172
• ocaml(Stdlib__Queue) = e259a6289d4b4587c82128e5e4a93d77
• ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111
• ocaml(Stdlib__Set) = 878d51b56f0f7be3121d17ee49b6ece5
• ocaml(Stdlib__String) = 10f6a338df78df4f5987192086ffa3c9
• ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1
• ocaml(Zeroinstall_solver__) = d8982ba6e694c3adc9ad6c10d2e7a64e
• ocaml(Zeroinstall_solver__Diagnostics) = f006d62710734fa59f482d073cc16def
• ocaml(Zeroinstall_solver__S) = e92bae0ca597e35cd3f78557a022b209
• ocaml(Zeroinstall_solver__Sat) = 9bef3485a4657c05696b51211535e5a0
• ocaml(Zeroinstall_solver__Solver_core) = 559945fe07e050fac31b07cc35ca6a3a
• 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

* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 2.18-16
  - OCaml 5.5.1 rebuild
* Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.18-15
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.18-14
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 2.18-13
  - OCaml 5.5.0 rebuild
  - Use the dune declarative buildsystem
* Fri Feb 20 2026 Richard W.M. Jones <rjones@redhat.com> - 2.18-12
  - OCaml 5.4.1 rebuild
* Wed Jan 28 2026 Jerry James <loganjerry@gmail.com> - 2.18-11
  - BR gpgverify instead of gnupg2
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.18-10
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2.18-9
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Fri Jan 09 2026 Jerry James <loganjerry@gmail.com> - 2.18-8
  - Reflow the description text
  - Add a SourceLicense tag
* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 2.18-7
  - OCaml 5.4.0 rebuild
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.18-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/65
/usr/lib/.build-id/65/975bedf81c6d4593d0f4c213962cdfeb8bca36
/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, Fri Sep 18 01:07:53 2026