freebsd-ports/math/lean
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
Makefile
pkg-descr
pkg-plist