(lang dune 3.20)
(name 0install-solver)
(version 2.18)
(sections
 (lib /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/0install-solver)
 (libexec /usr/lib/aarch64-linux-gnu/ocaml/5.4.0/0install-solver)
 (doc /usr/doc/0install-solver))
(files
 (lib
  (META
   diagnostics.ml
   dune-package
   opam
   s.ml
   sat.ml
   sat.mli
   solver_core.ml
   zeroinstall_solver.a
   zeroinstall_solver.cma
   zeroinstall_solver.cmi
   zeroinstall_solver.cmt
   zeroinstall_solver.cmti
   zeroinstall_solver.cmx
   zeroinstall_solver.cmxa
   zeroinstall_solver.ml
   zeroinstall_solver.mli
   zeroinstall_solver__.cmi
   zeroinstall_solver__.cmt
   zeroinstall_solver__.cmx
   zeroinstall_solver__.ml
   zeroinstall_solver__Diagnostics.cmi
   zeroinstall_solver__Diagnostics.cmt
   zeroinstall_solver__Diagnostics.cmx
   zeroinstall_solver__S.cmi
   zeroinstall_solver__S.cmt
   zeroinstall_solver__S.cmx
   zeroinstall_solver__Sat.cmi
   zeroinstall_solver__Sat.cmt
   zeroinstall_solver__Sat.cmti
   zeroinstall_solver__Sat.cmx
   zeroinstall_solver__Solver_core.cmi
   zeroinstall_solver__Solver_core.cmt
   zeroinstall_solver__Solver_core.cmx))
 (libexec (zeroinstall_solver.cmxs))
 (doc (CHANGES.md README.md)))
(library
 (name 0install-solver)
 (kind normal)
 (archives (byte zeroinstall_solver.cma) (native zeroinstall_solver.cmxa))
 (plugins (byte zeroinstall_solver.cma) (native zeroinstall_solver.cmxs))
 (native_archives zeroinstall_solver.a)
 (main_module_name Zeroinstall_solver)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name zeroinstall_solver__)
     (visibility public)
     (kind alias)
     (source
      (path Zeroinstall_solver__)
      (impl (path zeroinstall_solver__.ml-gen))))
    (name Zeroinstall_solver)
    (modules
     (module
      (obj_name zeroinstall_solver__Diagnostics)
      (visibility public)
      (source (path Diagnostics) (impl (path diagnostics.ml))))
     (module
      (obj_name zeroinstall_solver__S)
      (visibility public)
      (source (path S) (impl (path s.ml))))
     (module
      (obj_name zeroinstall_solver__Sat)
      (visibility public)
      (source (path Sat) (intf (path sat.mli)) (impl (path sat.ml))))
     (module
      (obj_name zeroinstall_solver__Solver_core)
      (visibility public)
      (source (path Solver_core) (impl (path solver_core.ml))))
     (module
      (obj_name zeroinstall_solver)
      (visibility public)
      (source
       (path Zeroinstall_solver)
       (intf (path zeroinstall_solver.mli))
       (impl (path zeroinstall_solver.ml))))))
   (wrapped true))))
