(library
 (name tuto4_plugin)
 (public_name rocq-runtime.plugins.tutorial.p4)
 (libraries rocq-runtime.plugins.ltac2))