opam - opam-solver.2.4.0~rc1

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	Jul 4, 2025
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	ocaml>=4.08.0 opam-format=2.4.0~rc1 mccs>=1.1+17 dose3>=6.1 cudf>=0.7 re>=1.9.0 dune>=2.8.0 opam-0install-cudf>=0.5.0
Optional dependencies	z3
Conflicts	z3<4.8.4
Source [http]	https://github.com/ocaml/opam/archive/refs/tags/2.4.0-rc1.tar.gz md5=7a902ac41ad9da83a0e80576c9d9c122 sha512=a447dab252e93ea81e0cf4ab1a64c9386911af5fd45344f1ac5f71eb0abb472f660e542c645e3b0657715b5ed81903a581152cdac9e24cabc72c5bf654743ae8
Edit	https://github.com/ocaml/opam-repository/tree/master/packages/opam-solver/opam-solver.2.4.0~rc1/opam

Required by

opam-solverversion 2.4.0~rc1 (latest) 2.0.0~rc22.0.02.0.12.0.22.0.32.0.42.0.52.0.62.0.72.0.82.0.92.0.102.1.02.1.12.1.22.1.32.1.42.1.52.1.62.2.02.2.12.3.02.4.0~alpha12.4.0~alpha22.4.0~beta12.4.0~rc1 (latest)