(lang dune 3.4)
(name opam-solver)
(version 2.1.3)
(sections
 (lib /usr/lib64/ocaml/opam-solver)
 (libexec /usr/lib64/ocaml/opam-solver)
 (doc /usr/doc/opam-solver))
(files
 (lib
  (META
   dune-package
   opam
   opamActionGraph.cmi
   opamActionGraph.cmt
   opamActionGraph.cmti
   opamActionGraph.cmx
   opamActionGraph.ml
   opamActionGraph.mli
   opamBuiltin0install.cmi
   opamBuiltin0install.cmt
   opamBuiltin0install.cmti
   opamBuiltin0install.cmx
   opamBuiltin0install.ml
   opamBuiltin0install.mli
   opamBuiltinMccs.cmi
   opamBuiltinMccs.cmt
   opamBuiltinMccs.cmti
   opamBuiltinMccs.cmx
   opamBuiltinMccs.ml
   opamBuiltinMccs.mli
   opamBuiltinZ3.cmi
   opamBuiltinZ3.cmt
   opamBuiltinZ3.cmti
   opamBuiltinZ3.cmx
   opamBuiltinZ3.ml
   opamBuiltinZ3.mli
   opamCudf.cmi
   opamCudf.cmt
   opamCudf.cmti
   opamCudf.cmx
   opamCudf.ml
   opamCudf.mli
   opamCudfSolver.cmi
   opamCudfSolver.cmt
   opamCudfSolver.cmti
   opamCudfSolver.cmx
   opamCudfSolver.ml
   opamCudfSolver.mli
   opamCudfSolverSig.cmi
   opamCudfSolverSig.cmt
   opamCudfSolverSig.cmx
   opamCudfSolverSig.ml
   opamSolver.cmi
   opamSolver.cmt
   opamSolver.cmti
   opamSolver.cmx
   opamSolver.ml
   opamSolver.mli
   opamSolverConfig.cmi
   opamSolverConfig.cmt
   opamSolverConfig.cmti
   opamSolverConfig.cmx
   opamSolverConfig.ml
   opamSolverConfig.mli
   opam_solver.a
   opam_solver.cma
   opam_solver.cmxa))
 (libexec (opam_solver.cmxs))
 (doc (CHANGES LICENSE README.md)))
(library
 (name opam-solver)
 (kind normal)
 (synopsis "OCaml Package Manager solver interaction library")
 (archives (byte opam_solver.cma) (native opam_solver.cmxa))
 (plugins (byte opam_solver.cma) (native opam_solver.cmxs))
 (native_archives opam_solver.a)
 (requires opam-format cudf dose3.algo dose3.common mccs)
 (modes byte native)
 (modules
  (unwrapped
   ((name OpamActionGraph)
    (obj_name opamActionGraph)
    (visibility public)
    (impl)
    (intf))
   ((name OpamBuiltin0install)
    (obj_name opamBuiltin0install)
    (visibility public)
    (impl)
    (intf))
   ((name OpamBuiltinMccs)
    (obj_name opamBuiltinMccs)
    (visibility public)
    (impl)
    (intf))
   ((name OpamBuiltinZ3)
    (obj_name opamBuiltinZ3)
    (visibility public)
    (impl)
    (intf))
   ((name OpamCudf) (obj_name opamCudf) (visibility public) (impl) (intf))
   ((name OpamCudfSolver)
    (obj_name opamCudfSolver)
    (visibility public)
    (impl)
    (intf))
   ((name OpamCudfSolverSig)
    (obj_name opamCudfSolverSig)
    (visibility public)
    (impl))
   ((name OpamSolver) (obj_name opamSolver) (visibility public) (impl) (intf))
   ((name OpamSolverConfig)
    (obj_name opamSolverConfig)
    (visibility public)
    (impl)
    (intf)))))
