opam - opam-solver.2.0.0

Solver and Cudf interaction. This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam.

Authors	Vincent Bernardoff <vb@luminar.eu.org>, Raja Boujbel <raja.boujbel@ocamlpro.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	Jul 26, 2018
Homepage	https://opam.ocaml.org/
Issue Tracker	https://github.com/ocaml/opam/issues
Maintainer	opam-devel@lists.ocaml.org
Dependencies	ocaml>=4.02.3 opam-format=2.0.0 mccs>=1.1+8 dose3>=5 & <6.0 cudf>=0.7 jbuilder>=1.0+beta17
Source [http]	https://github.com/ocaml/opam/archive/2.0.0-rc4.tar.gz md5=385612adf8733f6816cfcbc39e3e1b50
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/opam-solver/opam-solver.2.0.0/opam

Required by

opam-solverversion 2.0.0 2.0~alpha52.0.0~beta2.0.0~beta32.0.0~beta3.12.0.0~beta52.0.0~rc2.0.0~rc22.0.0~rc32.0.02.0.12.0.22.0.32.0.42.0.52.0.62.0.72.0.82.0.92.0.102.1.0~beta22.1.0~beta42.1.0~rc2.1.0~rc22.1.02.1.12.1.22.1.32.1.42.1.52.2.0~alpha2.2.0~alpha22.2.0~alpha32.2.0~beta12.2.0~beta2 (latest)