Yuri Victorovich 03479ec7f3 math/lean: Update 3.4.1 -> 3.4.2 ... Reported by: portscout		2019-01-23 09:59:54 +00:00
..
files	New port: math/lean: Theorem prover	2018-07-22 05:58:39 +00:00
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