-
Notifications
You must be signed in to change notification settings - Fork 48
New issue
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
Tracker issue for 8.18 pick creation #372
Labels
kind: upstream tracker
Issues to track upstream issues for package failures
Comments
MSoegtropIMC
added
the
kind: upstream tracker
Issues to track upstream issues for package failures
label
Oct 5, 2023
This was referenced Oct 5, 2023
Closed
Closed
Closed
This was referenced Oct 5, 2023
Closed
Closed
Closed
Closed
Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
math-comp/algebra-tactics#88
Closed
This was referenced Oct 5, 2023
Closed
Please pick the version you prefer for Coq 8.18 in Coq Platform 2023.10
tchajed/coq-record-update#41
Closed
Closed
Merged
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
This issue exists to track the issues on the package upstream repos to create tags for Coq 8.18.
This ticket is referenced in all package issues.
Discussions should take place in the individual upstream issues.
ToDo:
Issue links to non github projects
Updates to be done
Local opam packages to be removed
Local opam packages to be merged upstream
Issues to be fixed
Checklist
The text was updated successfully, but these errors were encountered: