Skip to content

Comments

Drop support for Rocq 9.0#236

Merged
proux01 merged 2 commits intorocq-prover:masterfrom
proux01:drop90
Feb 14, 2026
Merged

Drop support for Rocq 9.0#236
proux01 merged 2 commits intorocq-prover:masterfrom
proux01:drop90

Conversation

@proux01
Copy link
Contributor

@proux01 proux01 commented Feb 14, 2026

No description provided.

@proux01 proux01 marked this pull request as ready for review February 14, 2026 16:57
@proux01 proux01 merged commit ffc92c5 into rocq-prover:master Feb 14, 2026
347 of 349 checks passed
@proux01 proux01 deleted the drop90 branch February 14, 2026 16:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant