platform icon indicating copy to clipboard operation
platform copied to clipboard

Published 20 hours ago • verified publisher icon coq

Move coq-metacoq-template (and dependencies) to the "full" level

Open mattam82 opened this issue 1 year ago • 2 comments

We can keep the other packages in extended, they change much more often.

mattam82 avatar Apr 24 '23 19:04 mattam82