Skip to content

feature: Add coqffi stanza#6489

Closed
Alizter wants to merge 1 commit intoocaml:mainfrom
Alizter:ps/rr/feature__add_coqffi_stanza
Closed

feature: Add coqffi stanza#6489
Alizter wants to merge 1 commit intoocaml:mainfrom
Alizter:ps/rr/feature__add_coqffi_stanza

Conversation

@Alizter
Copy link
Copy Markdown
Collaborator

@Alizter Alizter commented Nov 16, 2022

This continues from #6248 but is left as draft as more work needs to be done to support the wish in #6248 (comment).

Close #3995

Signed-off-by: Ali Caglayan <alizter@gmail.com>

ps-id: fe7a9d6d-1ac4-4d17-95db-dd11a81f4c51
@rgrinberg
Copy link
Copy Markdown
Member

Please re-open if this is still relevant

@rgrinberg rgrinberg closed this Jun 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Towards supporting coqffi in coq.theory stanza

2 participants