(lang dune 3.16)
(name alt-ergo-parsers)
(version 2.4.3)
(sections
 (lib
  /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3-r2/image/usr/lib64/ocaml/alt-ergo-parsers)
 (libexec
  /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3-r2/image/usr/lib64/ocaml/alt-ergo-parsers)
 (doc
  /var/tmp/portage/sci-mathematics/alt-ergo-2.4.3-r2/image/usr/doc/alt-ergo-parsers))
(files
 (lib
  (AltErgoParsers.a
   AltErgoParsers.cma
   AltErgoParsers.cmxa
   META
   altErgoParsers.cmi
   altErgoParsers.cmt
   altErgoParsers.cmx
   altErgoParsers.ml
   altErgoParsers__MyZip.cmi
   altErgoParsers__MyZip.cmt
   altErgoParsers__MyZip.cmti
   altErgoParsers__MyZip.cmx
   altErgoParsers__Native_lexer.cmi
   altErgoParsers__Native_lexer.cmt
   altErgoParsers__Native_lexer.cmx
   altErgoParsers__Native_parser.cmi
   altErgoParsers__Native_parser.cmt
   altErgoParsers__Native_parser.cmti
   altErgoParsers__Native_parser.cmx
   altErgoParsers__Parsers.cmi
   altErgoParsers__Parsers.cmt
   altErgoParsers__Parsers.cmti
   altErgoParsers__Parsers.cmx
   altErgoParsers__Parsers_loader.cmi
   altErgoParsers__Parsers_loader.cmt
   altErgoParsers__Parsers_loader.cmti
   altErgoParsers__Parsers_loader.cmx
   altErgoParsers__Psmt2_to_alt_ergo.cmi
   altErgoParsers__Psmt2_to_alt_ergo.cmt
   altErgoParsers__Psmt2_to_alt_ergo.cmti
   altErgoParsers__Psmt2_to_alt_ergo.cmx
   dune-package
   missing_primitives.js
   myZip.ml
   myZip.mli
   native_lexer.ml
   native_parser.ml
   native_parser.mli
   opam
   parsers.ml
   parsers.mli
   parsers_loader.ml
   parsers_loader.mli
   psmt2_to_alt_ergo.ml
   psmt2_to_alt_ergo.mli))
 (libexec (AltErgoParsers.cmxs))
 (doc (CHANGES.md LICENSE.md README.md odoc-pages/index.mld)))
(library
 (name alt-ergo-parsers)
 (kind normal)
 (archives (byte AltErgoParsers.cma) (native AltErgoParsers.cmxa))
 (plugins (byte AltErgoParsers.cma) (native AltErgoParsers.cmxs))
 (native_archives AltErgoParsers.a)
 (jsoo_runtime missing_primitives.js)
 (requires camlzip dynlink psmt2-frontend alt-ergo-lib stdlib-shims)
 (main_module_name AltErgoParsers)
 (modes byte native)
 (modules
  (wrapped
   (group
    (alias
     (obj_name altErgoParsers)
     (visibility public)
     (kind alias)
     (source (path AltErgoParsers) (impl (path altErgoParsers.ml-gen))))
    (name AltErgoParsers)
    (modules
     (module
      (obj_name altErgoParsers__MyZip)
      (visibility public)
      (source (path MyZip) (intf (path myZip.mli)) (impl (path myZip.ml))))
     (module
      (obj_name altErgoParsers__Native_lexer)
      (visibility public)
      (source (path Native_lexer) (impl (path native_lexer.ml))))
     (module
      (obj_name altErgoParsers__Native_parser)
      (visibility public)
      (source
       (path Native_parser)
       (intf (path native_parser.mli))
       (impl (path native_parser.ml))))
     (module
      (obj_name altErgoParsers__Parsers)
      (visibility public)
      (source
       (path Parsers)
       (intf (path parsers.mli))
       (impl (path parsers.ml))))
     (module
      (obj_name altErgoParsers__Parsers_loader)
      (visibility public)
      (source
       (path Parsers_loader)
       (intf (path parsers_loader.mli))
       (impl (path parsers_loader.ml))))
     (module
      (obj_name altErgoParsers__Psmt2_to_alt_ergo)
      (visibility public)
      (source
       (path Psmt2_to_alt_ergo)
       (intf (path psmt2_to_alt_ergo.mli))
       (impl (path psmt2_to_alt_ergo.ml))))))
   (wrapped true))))
