Skip to content

Support Coq 8.20#258

Merged
4ever2 merged 10 commits intoAU-COBRA:masterfrom
4ever2:coq20
Jan 21, 2025
Merged

Support Coq 8.20#258
4ever2 merged 10 commits intoAU-COBRA:masterfrom
4ever2:coq20

Conversation

@4ever2
Copy link
Collaborator

@4ever2 4ever2 commented Jan 21, 2025

No description provided.

@4ever2 4ever2 marked this pull request as ready for review January 21, 2025 13:17
@4ever2 4ever2 merged commit 606294e into AU-COBRA:master Jan 21, 2025
17 of 18 checks passed
@4ever2 4ever2 deleted the coq20 branch January 21, 2025 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant