(lang dune 3.7)
(name psmt2-frontend_bin)
(version 0.4.0)
(sections
 (lib /usr/local/lib/ocaml/site-lib/psmt2-frontend_bin)
 (bin /usr/local/bin)
 (doc /usr/local/share/doc/ocaml/psmt2-frontend_bin))
(files
 (lib (META dune-package opam))
 (bin (psmt2-frontend_bin))
 (doc (CHANGES.md LICENSE LICENSE.md README.md odoc-pages/index.mld)))
