Skip to content

Releases: JasperMS/carleson

v4.25.0-rc2

30 Oct 20:36
@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 Latest
Latest

Automated release for Lean version v4.25.0-rc2

Assets 2
Loading

v4.24.0

30 Oct 20:36
@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

01 Sep 11:41
@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

01 Sep 11:41
@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

31 Jul 13:37
@github-actions github-actions
v4.22.0-rc4
71db259
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

16 Jul 09:38
@github-actions github-actions
v4.22.0-rc3
994d9e2
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

16 Jul 09:38
@github-actions github-actions
v4.22.0-rc2
994d9e2
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

16 Jul 09:38
@github-actions github-actions
v4.21.0
994d9e2
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