Skip to content

Releases: leanprover-community/iris-lean

v4.30.0

Choose a tag to compare

@markusdemedeiros markusdemedeiros released this 27 May 20:28
6ddf890
chore: bump version to v4.30.0 (#419)

Co-authored-by: Michael Sammler <[email protected]>

v4.29.1

Choose a tag to compare

@markusdemedeiros markusdemedeiros released this 27 May 17:22
d7383dc
chore: bump to v4.29.1 (#418)

v4.29.0

Choose a tag to compare

@markusdemedeiros markusdemedeiros released this 08 Apr 15:46
5cbc794
chore: bump version to 4.29 (#306)

v4.28.0

Choose a tag to compare

@markusdemedeiros markusdemedeiros released this 20 Feb 18:51
chore: bump version to 4.28.0

v4.27.0

Choose a tag to compare

@markusdemedeiros markusdemedeiros released this 05 Feb 13:18
chore: bump version to 4.27.0

v4.26.0

Choose a tag to compare

@markusdemedeiros markusdemedeiros released this 19 Dec 12:19
patch: Fix build

v4.25.2

Choose a tag to compare

@markusdemedeiros markusdemedeiros released this 19 Dec 12:12
Bump version to 4.25.2

v4.25.1

Choose a tag to compare

@markusdemedeiros markusdemedeiros released this 23 Nov 19:20
bump version to 4.25.1

v4.25.0

Choose a tag to compare

@markusdemedeiros markusdemedeiros released this 23 Nov 19:17
bump version to 4.25.0

v4.24.0

Choose a tag to compare

@markusdemedeiros markusdemedeiros released this 15 Oct 10:54
Bump version to 4.24.0