Skip to content

Releases: fpvandoorn/carleson

v4.26.0

15 Dec 00:39
@github-actions github-actions
v4.26.0
068f68e
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.26.0 Latest
Latest

Automated release for Lean version v4.26.0

Assets 2
Loading

v4.25.0

17 Nov 13:29
@github-actions github-actions
v4.25.0
e521e4a
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

Automated release for Lean version v4.25.0

Loading

v4.25.0-rc2

30 Oct 17:17
@github-actions github-actions
v4.25.0-rc2
e307a2c
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

Automated release for Lean version v4.25.0-rc2

Loading

v4.24.0

16 Oct 16:41
@github-actions github-actions
v4.24.0
5441a78
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.24.0

Automated release for Lean version v4.24.0

Loading

v4.23.0-rc2

19 Aug 16:48
@github-actions github-actions
v4.23.0-rc2
e5f273f
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.23.0-rc2

Automated release for Lean version v4.23.0-rc2

Loading

v4.22.0

19 Aug 15:32
@github-actions github-actions
v4.22.0
4ae1b94
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.22.0

Automated release for Lean version v4.22.0

Loading

v4.22.0-rc4

24 Jul 21:05
@github-actions github-actions
v4.22.0-rc4
7192b7e
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.22.0-rc4

Automated release for Lean version v4.22.0-rc4

Loading

v4.22.0-rc3

15 Jul 12:25
@github-actions github-actions
v4.22.0-rc3
5fce53b
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.22.0-rc3

Automated release for Lean version v4.22.0-rc3

Loading

v4.22.0-rc2

02 Jul 11:37
@github-actions github-actions
v4.22.0-rc2
d5b5f18
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.22.0-rc2

Automated release for Lean version v4.22.0-rc2

Loading

v4.21.0

01 Jul 10:04
@github-actions github-actions
v4.21.0
f621ab4
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.21.0

Automated release for Lean version v4.21.0

Loading