Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
12345678910(library (name tuto0_plugin) (public_name rocq-runtime.plugins.tutorial.p0) (libraries rocq-runtime.plugins.ltac))
(rule (targets g_tuto0.ml) (deps (:mlg g_tuto0.mlg)) (action (chdir %{project_root} (run rocq pp-mlg %{deps}))))