Skip to content

Conversation

@CohenCyril
Copy link
Member

No description provided.

@affeldt-aist
Copy link
Member

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants