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.

Sign up for GitHub

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

Jump to bottom

coq-mathcomp-odd-order.2.0.0 doesn't work with MathComp 2.2.0 and later #3281

Merged

palmskog merged 1 commit into coq:master from palmskog:odd-order-2.2

Jan 3, 2025

Collaborator

palmskog commented Jan 3, 2025


          coq-mathcomp-odd-order.2.0.0 doesn't work with MathComp 2.2.0 and later

d82cbf4

palmskog merged commit a6c24ef into coq:master

2 of 4 checks passed

palmskog deleted the odd-order-2.2 branch

January 3, 2025 19:52

Contributor

proux01 commented Jan 4, 2025

C.f. #3282

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

Labels

None yet