(lang dune 3.19)
(name rocq-prover)
(version 9.0.0)
(sections (lib /usr/lib/ocaml/rocq-prover) (doc /usr/doc/rocq-prover))
(files (lib (META dune-package opam)) (doc (LICENSE README.md)))
