Skip to content

Releases: ImperialCollegeLondon/FLT

v4.19.0-rc2

05 Apr 12:03
@github-actions github-actions
v4.19.0-rc2
d45fbf2
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.19.0-rc2 Latest
Latest

Automated release for Lean version v4.19.0-rc2

Assets 2
Loading

v4.18.0

01 Apr 19:51
@github-actions github-actions
v4.18.0
2e72bd5
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.18.0

Automated release for Lean version v4.18.0

Loading

v4.18.0-rc1

05 Mar 21:29
@github-actions github-actions
v4.18.0-rc1
da201f7
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.18.0-rc1

Automated release for Lean version v4.18.0-rc1

Loading

v4.17.0

04 Mar 11:25
@github-actions github-actions
v4.17.0
b1c082c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.17.0

Automated release for Lean version v4.17.0

Loading

v4.17.0-rc1

06 Feb 17:05
@github-actions github-actions
v4.17.0-rc1
85df81a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.17.0-rc1

Automated release for Lean version v4.17.0-rc1

Loading

v4.16.0

06 Feb 10:31
@github-actions github-actions
v4.16.0
4a97c89
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.16.0

Automated release for Lean version v4.16.0

Loading

v4.16.0-rc2

18 Jan 15:24
@github-actions github-actions
v4.16.0-rc2
57b2cca
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.16.0-rc2

Automated release for Lean version v4.16.0-rc2

Loading

v4.15.0

06 Jan 14:28
@github-actions github-actions
v4.15.0
5a6f000
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.15.0

Automated release for Lean version v4.15.0

Loading

v4.15.0-rc1

02 Dec 09:51
@github-actions github-actions
v4.15.0-rc1
9c58df4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.15.0-rc1

Automated release for Lean version v4.15.0-rc1

Loading

v4.14.0-rc3

30 Nov 13:53
@github-actions github-actions
v4.14.0-rc3
d6c13d0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
Compare
Choose a tag to compare
v4.14.0-rc3

Automated release for Lean version v4.14.0-rc3

Loading