Skip to content

Releases: chasenorman/CanonicalLean

v4.27.0-rc1

15 Dec 00:16
@chasenorman chasenorman
v4.27.0-rc1
5939d88

Choose a tag to compare

View all tags
v4.27.0-rc1 Pre-release
Pre-release 
v4.27.0-rc1
Loading

v4.26.0

13 Dec 16:52
@chasenorman chasenorman
v4.26.0
1d2c925

Choose a tag to compare

View all tags
v4.26.0 Latest
Latest 
v4.26.0
Assets 5
Loading

v4.26.0-rc2

09 Dec 22:51
@chasenorman chasenorman
v4.26.0-rc2
a48a61b

Choose a tag to compare

View all tags
v4.26.0-rc2 Pre-release
Pre-release 
v4.26.0-rc2
Loading

v4.25.0

17 Nov 19:50
@chasenorman chasenorman
v4.25.0
1740640

Choose a tag to compare

View all tags
v4.25.0 
v4.25.0
Loading

nightly-2025-11-03

04 Nov 01:06
@chasenorman chasenorman
nightly-2025-11-03
bb47fea

Choose a tag to compare

View all tags
nightly-2025-11-03 Pre-release
Pre-release 
fix: adaptations for nightly-2025-11-03
Loading

v4.25.0-rc2

31 Oct 17:37
@chasenorman chasenorman
v4.25.0-rc2
29da9c4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v4.25.0-rc2 Pre-release
Pre-release 
Merge pull request #33 from chasenorman/have

Improved API, lakefile update
Loading

v4.25.0-rc1

21 Oct 10:14
@chasenorman chasenorman
v4.25.0-rc1
e940306

Choose a tag to compare

View all tags
v4.25.0-rc1 Pre-release
Pre-release 
v4.25.0-rc1
Loading

v4.24.0

14 Oct 14:36
@chasenorman chasenorman
v4.24.0
3a28b0c

Choose a tag to compare

View all tags
v4.24.0 
v4.24.0
Loading

v4.24.0-rc1

29 Sep 12:04
@chasenorman chasenorman
v4.24.0-rc1
6a95e22

Choose a tag to compare

View all tags
v4.24.0-rc1 Pre-release
Pre-release 
ITP
Loading

v4.23.0

15 Sep 13:43
@chasenorman chasenorman
v4.23.0
077feb0

Choose a tag to compare

View all tags
v4.23.0 
v4.23.0
Loading