Skip to content

Commit

Permalink
Generate 9.0 versions
Browse files Browse the repository at this point in the history 
By running ./bump-versions.sh and modifying the output manually.

For coq/coq#19647
  • Loading branch information
@JasonGross
JasonGross committed Oct 9, 2024
1 parent 11def11 commit 4327aa1
Show file tree
Hide file tree
Showing 4 changed files with 628 additions and 5 deletions.
1 change: 1 addition & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -37,3 +37,4 @@ compatibility/Coq__*__Compat.v
!compatibility/Coq__8_18__Compat.v
!compatibility/Coq__8_19__Compat.v
!compatibility/Coq__8_20__Compat.v
!compatibility/Coq__9_0__Compat.v
Loading

0 comments on commit 4327aa1

Please sign in to comment.