Open CohenCyril opened 3 years ago
master already has a meta.yml file that looks fine to apply the coq-community machinery, maybe this PR should be closed?
meta.yml
master already has a
meta.yml
file that looks fine to apply the coq-community machinery, maybe this PR should be closed?