(lang dune 3.7)
(name alt-ergo-parsers)
(version 2.3.3)
(sections
 (lib /usr/lib/ocaml/alt-ergo-parsers)
 (libexec /usr/lib/ocaml/alt-ergo-parsers)
 (doc /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__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
   altErgoParsers__Why_lexer.cmi
   altErgoParsers__Why_lexer.cmt
   altErgoParsers__Why_lexer.cmx
   altErgoParsers__Why_parser.cmi
   altErgoParsers__Why_parser.cmt
   altErgoParsers__Why_parser.cmti
   altErgoParsers__Why_parser.cmx
   dune-package
   myZip.ml
   myZip.mli
   opam
   parsers.ml
   parsers.mli
   parsers_loader.ml
   parsers_loader.mli
   psmt2_to_alt_ergo.ml
   psmt2_to_alt_ergo.mli
   why_lexer.ml
   why_parser.ml
   why_parser.mli))
 (libexec (AltErgoParsers.cmxs))
 (doc (CHANGES 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)
 (requires camlzip dynlink psmt2-frontend alt-ergo-lib)
 (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__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))))
     (module
      (obj_name altErgoParsers__Why_lexer)
      (visibility public)
      (source (path Why_lexer) (impl (path why_lexer.ml))))
     (module
      (obj_name altErgoParsers__Why_parser)
      (visibility public)
      (source
       (path Why_parser)
       (intf (path why_parser.mli))
       (impl (path why_parser.ml))))))
   (wrapped true))))
