Yuri Victorovich 1c195c42e2 math/lean: Update 3.22.0 -> 3.23.0 ... Reported by: portscout		2020-10-31 07:27:06 +00:00
..
files
distinfo	math/lean: Update 3.22.0 -> 3.23.0	2020-10-31 07:27:06 +00:00
Makefile	math/lean: Update 3.22.0 -> 3.23.0	2020-10-31 07:27:06 +00:00
pkg-descr
pkg-plist