(lang dune 3.4)
(name minisat)
(version 0.4)
(sections
 (lib /usr/lib64/ocaml/minisat)
 (libexec /usr/lib64/ocaml/minisat)
 (doc /usr/doc/minisat)
 (stublibs /usr/lib64/ocaml/stublibs))
(files
 (lib
  (META
   Minisat.ml
   Minisat.mli
   dune-package
   libminisat_stubs.a
   minisat.a
   minisat.cma
   minisat.cmi
   minisat.cmt
   minisat.cmti
   minisat.cmx
   minisat.cmxa
   opam))
 (libexec (minisat.cmxs))
 (doc (CHANGELOG.md LICENSE README.md))
 (stublibs (dllminisat_stubs.so)))
(library
 (name minisat)
 (kind normal)
 (archives (byte minisat.cma) (native minisat.cmxa))
 (plugins (byte minisat.cma) (native minisat.cmxs))
 (foreign_objects libminisat_stubs.o solver.o)
 (foreign_archives libminisat_stubs.a)
 (native_archives minisat.a)
 (main_module_name Minisat)
 (modes byte native)
 (modules
  (singleton
   (name Minisat)
   (obj_name minisat)
   (visibility public)
   (impl)
   (intf))))
