--force
rocq.theory
(deps (package <p>))
dune pkg lock
ocamllex
opam
dune init
-Werror=unguarded-availability-new
generate_opam_files