Wed, 19 Feb 2025 13:34:33 UTC | login

Information for build ocaml-opam-0install-cudf-0.5.0-2.fc42

ID345121
Package Nameocaml-opam-0install-cudf
Version0.5.0
Release2.fc42
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/ocaml-opam-0install-cudf.git#5f633659c9bcdd80c73da118b0edf7e4d2b664b7
SummaryA generic CUDF solver library meant to be used in opam
DescriptionOpam's default solver is designed to maintain a set of packages over time, minimizing disruption when installing new programs and finding a compromise solution across all packages (e.g. avoiding upgrading some library to prevent uninstalling another program). In many situations (e.g. a CI system building in a clean environment, a project-local opam root, or a duniverse build) this is not necessary, and we can get a solution much faster by using a different algorithm. This package provides a generic solver library which uses 0install's solver library. The CUDF library is used in order to interface with opam as it is the format used to talk to the supported solvers.
git:https://github.com/ocaml-opam/opam-0install-cudf.git
Built bydavidlt
State complete
Volume DEFAULT
StartedSun, 12 Jan 2025 18:29:21 UTC
CompletedSun, 12 Jan 2025 18:37:32 UTC
Taskbuild (f42, /rpms/ocaml-opam-0install-cudf.git:5f633659c9bcdd80c73da118b0edf7e4d2b664b7)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/ocaml-opam-0install-cudf.git#5f633659c9bcdd80c73da118b0edf7e4d2b664b7'}}
Tags
f42
RPMs
src
ocaml-opam-0install-cudf-0.5.0-2.fc42.src.rpm (info) (download)
riscv64
ocaml-opam-0install-cudf-0.5.0-2.fc42.riscv64.rpm (info) (download)
ocaml-opam-0install-cudf-devel-0.5.0-2.fc42.riscv64.rpm (info) (download)
ocaml-opam-0install-cudf-debuginfo-0.5.0-2.fc42.riscv64.rpm (info) (download)
ocaml-opam-0install-cudf-debugsource-0.5.0-2.fc42.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
root.log
build.log
state.log
mock_output.log
Changelog * Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> 0.5.0-2 - OCaml 5.3.0 rebuild for Fedora 42 * Thu Aug 22 2024 Jerry James <loganjerry@gmail.com> 0.5.0-1 - Initial RPM