Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
123456789101112package "tuto3" ( directory = "." version = "dev" description = "A tuto3 plugin" requires = "rocq-runtime.plugins.ltac" archive(byte) = "tuto3_plugin.cma" archive(native) = "tuto3_plugin.cmxa" plugin(byte) = "tuto3_plugin.cma" plugin(native) = "tuto3_plugin.cmxs")directory = "."