package opam-0install-cudf

  1. Overview
  2. Docs
Opam solver using 0install backend using the CUDF interface

Install

Dune Dependency

Authors

Maintainers

Sources

opam-0install-cudf-0.5.0.tar.gz
md5=75419722aa839f518a25cae1b3c6efd4
sha512=83c0372168d612ef80548ab7fb021a92cdc39e13a77d87c5af5fd21eb515389b624d09c24d500e9ac33b3fc10d17c9869f160f8771f9c8f545b0453b9a0fd4df

Description

Opam's default solver is designed to maintain a set of packages over time, minimising disruption when installing new programs and finding a compromise solution across all packages.

In many situations (e.g. CI, local roots or duniverse builds) 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 library uses the CUDF library in order to interface with opam as it is the format common used to talk to all the supported solvers.

Published: 16 Aug 2024

README

README.md

NOTE: opam-0install-cudf previously resided at together with opam-0install at ocaml-opam/opam-0install-solver but has now been split into its own repository at ocaml-opam/opam-0install-cudf. The git history for both are the same, up until d19d6fe7

Introduction

Opam's default solver is designed to maintain a set of packages over time, minimising disruption when installing new programs and finding a compromise solution across all packages.

In many situations (e.g. CI, local roots or duniverse builds) this is not necessary, and we can get a solution much faster by usin a different algorithm.

This package provides a generic solver library which uses 0install's solver library. The library uses the CUDF library in order to interface with opam as it is the format common used to talk to all the supported solvers.

Dependencies (4)

  1. 0install-solver >= "2.18"
  2. ocaml >= "4.08.0"
  3. cudf >= "0.10"
  4. dune >= "2.7"

Dev Dependencies (1)

  1. alcotest with-test

Used by (1)

  1. opam-solver >= "2.2.0~alpha"

Conflicts

None

OCaml

Innovation. Community. Security.