Skip to content

Releases: leanprover/lean-llvm

19.1.2

13 Feb 18:25
@Kha Kha
19.1.2
d14cb18
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
19.1.2 Latest
Latest

What's Changed

Full Changelog: 15.0.1...19.1.2

Contributors

Kha
Assets 7
Loading

15.0.1

26 Sep 12:15
@Kha Kha
15.0.1
6ffe4c0
Compare
Choose a tag to compare
15.0.1

LLVM 15

Loading

14.0.0

23 Mar 11:06
@Kha Kha
14.0.0
9ecc0d8
Compare
Choose a tag to compare
14.0.0 
LLVM 14
Loading

13.0.0

23 Oct 22:35
@github-actions github-actions
13.0.0
3031bd1
Compare
Choose a tag to compare
13.0.0 
build tools
Loading