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-1.1 RPM for aarch64

From OpenSuSE Ports Tumbleweed for aarch64

Name: ocaml-0install-solver Distribution: openSUSE Tumbleweed
Version: 2.18 Vendor: openSUSE
Release: 1.1 Build date: Mon Mar 3 04:03:03 2025
Group: Development/Languages/OCaml Build host: reproducible
Size: 373313 Source RPM: ocaml-0install-solver-2.18-1.1.src.rpm
Packager: http://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

* 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 Mar 9 00:20:47 2025