Closed mattam82 closed 1 year ago
This is useful in the coq-malfunction project to build a plugin in a separate namespace (our mlf is generated code). -package is necessary to resolve potential external references.
Looks good, thanks!
This is useful in the coq-malfunction project to build a plugin in a separate namespace (our mlf is generated code). -package is necessary to resolve potential external references.