We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
@tchajed do you mind if I do a release for Coq 8.9 (to submit to the OPAM archive)? We'd like to have a timestamp on this project.
I can also step up as co-maintainer for the project if that's all right with you.
The text was updated successfully, but these errors were encountered:
Both of those sound great to me, thanks!
Sorry, something went wrong.
Thanks!
No branches or pull requests
@tchajed do you mind if I do a release for Coq 8.9 (to submit to the OPAM archive)? We'd like to have a timestamp on this project.
I can also step up as co-maintainer for the project if that's all right with you.
The text was updated successfully, but these errors were encountered: