opam-solverversion
Solver library for opam 2.2
Solver and Cudf interaction. This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam.
Authors | David Allsopp <david@tarides.com>, Vincent Bernardoff <vb@luminar.eu.org>, Raja Boujbel <raja.boujbel@ocamlpro.com>, Kate Deplaix <kit-ty-kate@outlook.com>, Roberto Di Cosmo <roberto@dicosmo.org>, Thomas Gazagnaire <thomas@gazagnaire.org>, Louis Gesbert <louis.gesbert@ocamlpro.com>, Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>, Anil Madhavapeddy <anil@recoil.org>, Guillem Rieu <guillem.rieu@ocamlpro.com>, Ralf Treinen <ralf.treinen@pps.jussieu.fr> and Frederic Tuong <tuong@users.gforge.inria.fr> |
---|---|
License | LGPL-2.1-only WITH OCaml-LGPL-linking-exception |
Published | |
Homepage | https://opam.ocaml.org |
Issue Tracker | https://github.com/ocaml/opam/issues |
Maintainer | opam-devel@lists.ocaml.org |
Available | opam-version >= "2.1.0" |
Dependencies |
|
Optional dependencies | |
Conflicts |
|
Source [http] | https://github.com/ocaml/opam/archive/refs/tags/2.2.0-alpha3.tar.gz md5=da12c9c417d078535f66758a36941e3f sha512=6ad6d0b67c8252444872bb652d85f2d5a35e63df1b25f1d11c23aa39b2ae9e6d075cfa55ece2a4c8875afcc0df94691d05cd058f61744fd9b7c468afa192de09 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/opam-solver/opam-solver.2.2.0~alpha3/opam |
Required by
- opam-0installwith-test
- opam-client=2.2.0~alpha3
- opam-lock