aboutsummaryrefslogtreecommitdiff
path: root/math/lean
Commit message (Expand)AuthorAgeFilesLines
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
* Fix build on gcc-based architectures:Mark Linimon2019-03-121-1/+1
* math/lean: Update 3.4.1 -> 3.4.2Yuri Victorovich2019-01-233-11/+5
* Change cmake default behaviour to outsource.Tobias C. Berner2018-12-251-1/+1
* math/lean: Add the PORTSCOUT line.Yuri Victorovich2018-07-251-0/+2
* math/lean: Update 3.2.0-1147 -> 3.4.1 (move to a more recent repository)Yuri Victorovich2018-07-232-6/+5
* New port: math/lean: Theorem proverYuri Victorovich2018-07-226-0/+908