Yuri Victorovich a352809df0 math/lean: Update 3.18.3 -> 3.18.4 ... Reported by: portscout		2020-08-03 03:21:10 +00:00
..
files
distinfo	math/lean: Update 3.18.3 -> 3.18.4	2020-08-03 03:21:10 +00:00
Makefile	math/lean: Update 3.18.3 -> 3.18.4	2020-08-03 03:21:10 +00:00
pkg-descr
pkg-plist