Yuri Victorovich 03479ec7f3 math/lean: Update 3.4.1 -> 3.4.2 ... Reported by: portscout		2019-01-23 09:59:54 +00:00
..
files
distinfo	math/lean: Update 3.4.1 -> 3.4.2	2019-01-23 09:59:54 +00:00
Makefile	math/lean: Update 3.4.1 -> 3.4.2	2019-01-23 09:59:54 +00:00
pkg-descr
pkg-plist	math/lean: Update 3.4.1 -> 3.4.2	2019-01-23 09:59:54 +00:00