Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
1234567891011(library (name funind_plugin) (public_name rocq-runtime.plugins.funind) (synopsis "Rocq's functional induction plugin") (libraries rocq-runtime.plugins.ltac rocq-runtime.plugins.extraction))
(rule (targets g_indfun.ml) (deps (:mlg g_indfun.mlg)) (action (chdir %{project_root} (run rocq pp-mlg %{deps}))))