Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-0install-solver-2.18-10.fc44 RPM for ppc64le

From Fedora Rawhide for ppc64le / o

Name: ocaml-0install-solver Distribution: Fedora Project
Version: 2.18 Vendor: Fedora Project
Release: 10.fc44 Build date: Fri Jan 16 07:21:12 2026
Group: Unspecified Build host: buildvm-ppc64le-22.rdu3.fedoraproject.org
Size: 612079 Source RPM: 0install-2.18-10.fc44.src.rpm
Packager: Fedora Project
Url: https://0install.net/
Summary: Package dependency solver
 
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

Requires

License

LGPL-2.1-or-later

Changelog

* 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
* Wed Jul 17 2024 Jerry James <loganjerry@gmail.com> - 2.18-1
  - Version 2.18

Files

/usr/lib/.build-id
/usr/lib/.build-id/44
/usr/lib/.build-id/44/2685ca346cd6de9a528abbf469bf95588bae90
/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, Mon Jan 26 23:59:41 2026