Releases: leanprover-community/iris-lean
Releases · leanprover-community/iris-lean
v4.30.0
Compare
Sorry, something went wrong.
No results found
chore: bump version to v4.30.0 (#419)
Co-authored-by: Michael Sammler <[email protected] >
v4.29.1
Compare
Sorry, something went wrong.
No results found
chore: bump to v4.29.1 (#418)
v4.29.0
Compare
Sorry, something went wrong.
No results found
chore: bump version to 4.29 (#306)
v4.28.0
Compare
Sorry, something went wrong.
No results found
chore: bump version to 4.28.0
v4.27.0
Compare
Sorry, something went wrong.
No results found
chore: bump version to 4.27.0
v4.26.0
Compare
Sorry, something went wrong.
No results found
patch: Fix build
v4.25.2
Compare
Sorry, something went wrong.
No results found
Bump version to 4.25.2
v4.25.1
Compare
Sorry, something went wrong.
No results found
bump version to 4.25.1
v4.25.0
Compare
Sorry, something went wrong.
No results found
bump version to 4.25.0
v4.24.0
Compare
Sorry, something went wrong.
No results found
Bump version to 4.24.0