(lang dune 2.0)
; This file was generated by drom, using drom.toml
(name psmt2-frontend)
(allow_approximate_merlin)
(generate_opam_files false)
(version 0.4.0)
(formatting (enabled_for ocaml reason))

(package
 (name psmt2-frontend_bin)
 (synopsis "The psmt2-frontend project")
 (description "An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2\nstandard with prenex polymorphism.\n")
 (depends
   (ocaml (>= 4.04.2))
   (psmt2-frontend (= version))
   ppx_inline_test
   ppx_expect
   odoc
   ocamlformat
   menhir
 ))

(package
 (name psmt2-frontend)
 (synopsis "The psmt2-frontend project")
 (description "An OCaml library to parse and type-check a conservative extension of the SMT-LIB 2\nstandard with prenex polymorphism.\n")
 (depends
   (ocaml (>= 4.04.2))
   ppx_inline_test
   ppx_expect
   odoc
   ocamlformat
   menhir
 ))
(using menhir 2.0)
