(lang dune 3.15)

(name mininix)

(generate_opam_files true)

(using menhir 3.0)
(using coq 0.8)

(authors "Rutger Broekhoff" "Robbert Krebbers")

(license COPYING)

(package
 (name mininix)
 (depends (ocaml (< 5))
          (coq (and (>= 8.20) (< 8.21)))
          (coq-stdpp (and (>= 1.11) (< 1.12)))
          coq-flocq
          core core_unix linenoise menhir pprint sexp_pretty stdio
          ppx_sexp_conv ppx_blob ppx_let bisect_ppx
          (merlin :dev) (ocamlformat :dev)))