Mark Linimon 1f57592d73 Fix build on gcc-based architectures: ... LEAN requires g++ 4.9 or greater. Approved by: portmgr (tier-2 blanket)		2019-03-12 01:23:46 +00:00
..
files
distinfo	math/lean: Update 3.4.1 -> 3.4.2	2019-01-23 09:59:54 +00:00
Makefile	Fix build on gcc-based architectures:	2019-03-12 01:23:46 +00:00
pkg-descr
pkg-plist	math/lean: Update 3.4.1 -> 3.4.2	2019-01-23 09:59:54 +00:00