Aneesh Agrawal
|
fcee1d0b28
|
Remove redundant -DCMAKE_BUILD_TYPE=Release flags
Since commit 183d05a0 in 2012, this is the default.
fixes #18000
|
2016-10-01 16:13:41 +02:00 |
|
Gabriel Ebner
|
f970bc67c7
|
lean: 20160117 -> 2016-07-05
Fixes #17260.
|
2016-07-27 11:01:45 +02:00 |
|
Gabriel Ebner
|
8a26d9b84f
|
lean: add wrapper for linja
|
2016-01-17 09:29:18 +01:00 |
|
Gabriel Ebner
|
36c430de12
|
lean: 20150821 -> 20160117
|
2016-01-17 09:29:05 +01:00 |
|
Austin Seipp
|
1239465314
|
nixpkgs: lean 20150328 -> 20150821
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2015-08-21 13:57:16 -05:00 |
|
Pascal Wittmann
|
c944422863
|
lean: fixed build
|
2015-05-16 12:12:58 +02:00 |
|
Austin Seipp
|
a6813ca62d
|
nixpkgs: add lean-20150328, a theorem prover.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2015-03-28 01:47:39 -05:00 |
|