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