Yuri Victorovich 5ac9d4b978 math/lean: Update 3.39.1 -> 3.39.2 ... Reported by: portscout		2022-02-18 09:10:04 -08:00
..
distinfo	math/lean: Update 3.39.1 -> 3.39.2	2022-02-18 09:10:04 -08:00
Makefile	math/lean: Update 3.39.1 -> 3.39.2	2022-02-18 09:10:04 -08:00
pkg-descr
pkg-message
pkg-plist	math/lean: Update 3.35.1 -> 3.39.1	2022-02-09 09:00:16 -08:00