opam-solverversion Documentation on ocaml.org
Solver library for opam 2.5
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.5.0-rc1.tar.gz md5=fc3e769ecf6acee13e249d6d1ab52b60 sha512=b57536f4530ed03c8f3cc8cf814af9a2c53b159f58fc1b50be93295f6eb8d53faeef3d916e1a3f5137d35468af15fc2f59a2f8bda5c574532ab523fd945b9781 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/opam-solver/opam-solver.2.5.0~rc1/opam |
Required by
- opam-0installwith-test
- opam-client>=2.5.0~rc1
- opam-lock
- orb
