Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: ocaml-0install-solver | Distribution: Fedora Project |
Version: 2.18 | Vendor: Fedora Project |
Release: 1.fc41 | Build date: Wed Jul 17 19:09:14 2024 |
Group: Unspecified | Build host: buildvm-x86-16.iad2.fedoraproject.org |
Size: 545172 | Source RPM: 0install-2.18-1.fc41.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).
LGPL-2.1-or-later
* Wed Jul 17 2024 Jerry James <loganjerry@gmail.com> - 2.18-1 - Version 2.18
/usr/lib/.build-id /usr/lib/.build-id/99 /usr/lib/.build-id/99/34eec46a464cbdc786a947960d0ead2e91a83b /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, Wed Sep 11 01:06:19 2024