Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2024-02-11 | lean3: fix `gcc-13` build failure) | Sergei Trofimovich | 1 | -1/+10 |
2023-05-22 | lean: 3.50.3 -> 3.51.0 | kilianar | 1 | -3/+3 |
2022-12-26 | lean: 3.50.2 -> 3.50.3 | Mauricio Collares | 1 | -3/+3 |
2022-12-26 | lean: 3.50.1 -> 3.50.2 | Mauricio Collares | 1 | -3/+3 |
2022-12-22 | lean: 3.50.0 -> 3.50.1 | Mauricio Collares | 1 | -3/+3 |
2022-12-15 | lean: 3.49.1 -> 3.50.0 | Mauricio Collares | 1 | -3/+3 |
2022-12-15 | lean: 3.49.0 -> 3.49.1 | Mauricio Collares | 1 | -3/+3 |
2022-11-11 | lean: 3.48.0 -> 3.49.0 | Mauricio Collares | 1 | -3/+3 |
2022-08-31 | lean: 3.47.0 -> 3.48.0 | kilianar | 1 | -3/+3 |
2022-08-27 | lean: 3.46.0 -> 3.47.0 | Mario Rodas | 1 | -3/+3 |
2022-08-09 | lean: 3.45.0 -> 3.46.0 | kilianar | 1 | -3/+3 |
2022-07-21 | lean: 3.44.1 -> 3.45.0 | Mauricio Collares | 1 | -3/+3 |
2022-07-21 | lean: 3.44.0 -> 3.44.1 | Mauricio Collares | 1 | -3/+3 |
2022-07-21 | lean: 3.43.0 -> 3.44.0 | Mauricio Collares | 1 | -3/+3 |
2022-05-18 | lean: 3.42.1 -> 3.43.0 | Mauricio Collares | 1 | -3/+3 |
2022-05-18 | lean: 3.42.0 -> 3.42.1 | Mauricio Collares | 1 | -3/+3 |
2022-03-18 | lean: 3.41.0 -> 3.42.0 | Mauricio Collares | 1 | -3/+3 |
2022-03-11 | lean: 3.40.0 -> 3.41.0 | Mauricio Collares | 1 | -3/+3 |
2022-02-22 | lean: 3.39.2 -> 3.40.0 | Mauricio Collares | 1 | -3/+3 |
2022-02-17 | lean: 3.39.1 -> 3.39.2 | Mauricio Collares | 1 | -3/+3 |
2022-02-08 | lean: 3.39.0 -> 3.39.1 | Mauricio Collares | 1 | -3/+3 |
2022-02-03 | lean: 3.38.0 -> 3.39.0 | Mauricio Collares | 1 | -3/+3 |
2022-01-12 | lean: 3.37.0 -> 3.38.0 | Mauricio Collares | 1 | -3/+3 |
2022-01-07 | lean: 3.36.0 -> 3.37.0 | Mauricio Collares | 1 | -3/+3 |
2022-01-04 | lean: 3.35.1 -> 3.36.0 | Mauricio Collares | 1 | -3/+3 |
2022-01-03 | lean: 3.35.0 -> 3.35.1 | Mauricio Collares | 1 | -3/+3 |
2021-11-01 | lean: 3.34.0 -> 3.35.0 | Mauricio Collares | 1 | -3/+3 |
2021-11-01 | lean: 3.33.0 -> 3.34.0 | Mauricio Collares | 1 | -3/+3 |
2021-10-07 | lean: 3.32.1 → 3.33.0 | Anders Kaseorg | 1 | -3/+3 |
2021-08-23 | lean: 3.31.0 -> 3.32.1 | kzvi | 1 | -3/+3 |
2021-07-01 | lean: 3.30.0 -> 3.31.0 | Mauricio Collares | 1 | -3/+3 |
2021-05-26 | lean: substitute release commit sha1 | Mauricio Collares | 1 | -1/+12 |
2021-05-01 | lean: 3.29.0 -> 3.30.0 | R. RyanTM | 1 | -2/+2 |
2021-04-27 | lean: 3.28.0 -> 3.29.0 | R. RyanTM | 1 | -2/+2 |
2021-03-17 | lean: 3.27.0 -> 3.28.0 | R. RyanTM | 1 | -2/+2 |
2021-02-28 | lean: 3.26.0 -> 3.27.0 | R. RyanTM | 1 | -2/+2 |
2021-01-29 | lean: 3.25.0 -> 3.26.0 | R. RyanTM | 1 | -2/+2 |
2021-01-22 | lean: 3.24.0 -> 3.25.0 | R. RyanTM | 1 | -2/+2 |
2021-01-16 | treewide: stdenv.lib -> lib | Ben Siraphob | 1 | -1/+1 |
2021-01-11 | treewide: with stdenv.lib; in meta -> with lib; | Profpatsch | 1 | -2/+2 |
2021-01-07 | Merge branch 'master' into staging-next | Jan Tojnar | 1 | -2/+2 |
2021-01-06 | lean: 3.23.0 -> 3.24.0 | Devon Richards | 1 | -2/+2 |
2021-01-03 | treewide: remove enableParallelBuilding = true if using cmake | Ben Siraphob | 1 | -1/+0 |
2020-11-11 | lean: 3.21.0 -> 3.23.0 | R. RyanTM | 1 | -2/+2 |
2020-11-04 | lean: build olean files | Gabriel Ebner | 1 | -3/+7 |
2020-10-18 | lean: 3.19.0 -> 3.21.0 | R. RyanTM | 1 | -2/+2 |
2020-08-29 | lean: 3.18.4 -> 3.19.0 | Mario Rodas | 1 | -2/+2 |
2020-08-02 | lean: 3.16.5 -> 3.18.4 | R. RyanTM | 1 | -2/+2 |
2020-07-02 | lean: 3.16.2 -> 3.16.5 | R. RyanTM | 1 | -2/+2 |
2020-06-14 | lean: 3.15.0 -> 3.16.2 | R. RyanTM | 1 | -2/+2 |