-
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.16 package tag creation #274
Labels
kind: upstream tracker
Issues to track upstream issues for package failures
Milestone
Comments
MSoegtropIMC
added
the
kind: upstream tracker
Issues to track upstream issues for package failures
label
Aug 10, 2022
This was referenced Aug 10, 2022
Closed
Closed
Closed
Closed
Closed
Closed
Closed
Closed
This was referenced Aug 10, 2022
Closed
Closed
Closed
Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09
tchajed/coq-record-update#37
Closed
Closed
This was referenced Sep 20, 2022
Closed
All "closed" and this is the last issue in the 2022.09 milestone, so closing :-) |
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.16.
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: