opam - opam-solver.2.1.0~rc2

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	Jun 22, 2021
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.1.0~rc2 mccs>=1.1+9 dose3>=5 & <6.0 cudf>=0.7 dune>=1.11.0
Optional dependencies	z3 opam-0install-cudf
Conflicts	z3<4.8.4 opam-0install-cudf<0.4
Source [http]	https://github.com/ocaml/opam/archive/2.1.0-rc2.tar.gz md5=5eaab63268be06e2b10e97f7005f6c91 sha512=77ce2b6a79d57a6a51c76cc8e94ade0749c7bc5aca5237921361fd5909dd678b71a8e29a5af2460dafea2b4c558ed0484cbc4d1bbe1914f51b21a61320c95b96
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/opam-solver/opam-solver.2.1.0~rc2/opam

Required by