Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2018-05-07 | lean: 3.3.0 -> 3.4.1 | R. RyanTM | 1 | -2/+2 |
2018-01-22 | lean: fixup nativeBuildInputs vs buildInputs | Will Dietz | 1 | -1/+2 |
2017-09-15 | lean: 3.2.0 -> 3.3.0 | Gabriel Ebner | 1 | -2/+2 |
2017-06-18 | lean: 3.1.0 -> 3.2.0 | Gabriel Ebner | 1 | -2/+2 |
2017-02-26 | lean: 3.0.0 -> 3.1.0 | Gabriel Ebner | 1 | -4/+4 |
2017-01-20 | lean: 2017-01-14 -> 3.0.0 | Gabriel Ebner | 1 | -3/+3 |
2017-01-14 | lean: 2017-01-06 -> 2017-01-14 | Gabriel Ebner | 1 | -3/+3 |
2017-01-06 | lean: 2016-12-30 -> 2017-01-06 | Gabriel Ebner | 1 | -3/+3 |
2016-12-31 | lean: 2016-12-08 -> 2016-12-30 | Gabriel Ebner | 1 | -3/+3 |
2016-12-08 | lean: init at 2016-12-08 | Gabriel Ebner | 1 | -0/+28 |
2016-12-08 | lean2: 2016-07-05 -> 2016-11-29 | Gabriel Ebner | 1 | -34/+0 |
2016-10-01 | Remove redundant -DCMAKE_BUILD_TYPE=Release flags | Aneesh Agrawal | 1 | -2/+0 |
2016-07-27 | lean: 20160117 -> 2016-07-05 | Gabriel Ebner | 1 | -9/+9 |
2016-01-17 | lean: add wrapper for linja | Gabriel Ebner | 1 | -2/+6 |
2016-01-17 | lean: 20150821 -> 20160117 | Gabriel Ebner | 1 | -3/+3 |
2015-08-21 | nixpkgs: lean 20150328 -> 20150821 | Austin Seipp | 1 | -3/+4 |
2015-05-16 | lean: fixed build | Pascal Wittmann | 1 | -1/+4 |
2015-03-28 | nixpkgs: add lean-20150328, a theorem prover. | Austin Seipp | 1 | -0/+28 |