(lang dune 3.8)
(name fstar)
(generate_opam_files false)
(using menhir 2.1)

(package
  (name fstar)
  (synopsis "The F* programming language and proof assistant")
)
