package opam-solver
Solver library for opam 2.0
Install
Dune Dependency
Authors
-
TThomas Gazagnaire <thomas@gazagnaire.org>
-
AAnil Madhavapeddy <anil@recoil.org>
-
FFabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
-
FFrederic Tuong <tuong@users.gforge.inria.fr>
-
LLouis Gesbert <louis.gesbert@ocamlpro.com>
-
GGuillem Rieu <guillem.rieu@ocamlpro.com>
-
VVincent Bernardoff <vb@luminar.eu.org>
-
RRoberto Di Cosmo <roberto@dicosmo.org>
Maintainers
Sources
2.0.0-beta2.tar.gz
sha256=c2fb8a6eab88687b80151062ce65105ecc3481a1b9fd7905ea9b27bf43cde70a
md5=e27cfdb0b8c6f4c3133f983e4c50b7dd
Description
Solver and Cudf interaction. This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam.
Published: 08 Feb 2017
Dependencies (5)
-
cudf
<= "0.7" -
dose3
>= "5" & < "6.0" -
opam-format
= "2.0.0~beta" -
opam-core
= "2.0.0~beta" -
ocaml
>= "4.01.0"
Dev Dependencies
None
Used by (2)
- opam-0install
-
opam-client
= "2.0.0~beta"
Conflicts
None
On This Page