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-3.1 RPM for s390x

From OpenSuSE Ports Tumbleweed for s390x

Name: ocaml-0install-solver Distribution: openSUSE:Factory:zSystems
Version: 2.18 Vendor: openSUSE
Release: 3.1 Build date: Fri Apr 4 06:04:04 2025
Group: Development/Languages/OCaml Build host: reproducible
Size: 326033 Source RPM: ocaml-0install-solver-2.18-3.1.src.rpm
Packager: https://bugs.opensuse.org
Url: https://opam.ocaml.org/packages/0install-solver
Summary: Package dependency solver
 
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 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 Apr 04 2025 ohering@suse.de
  - Remove ExclusiveArch 64bit
* Wed Mar 26 2025 ohering@suse.de
  - allow only 64bit to follow other packages
* Mon Mar 03 2025 ohering@suse.de
  - Initial version 2.18

Files

/usr/lib64/ocaml
/usr/lib64/ocaml/0install-solver
/usr/lib64/ocaml/0install-solver/zeroinstall_solver.cmxs
/usr/share/doc/packages/ocaml-0install-solver
/usr/share/doc/packages/ocaml-0install-solver/CHANGES.md
/usr/share/doc/packages/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, Sun Apr 6 00:13:43 2025