Yuri Victorovich d4456ccb7b math/lean: Update 3.50.2 -> 3.50.3 ... Reported by: portscout		2022-12-27 20:01:50 -08:00
..
distinfo	math/lean: Update 3.50.2 -> 3.50.3	2022-12-27 20:01:50 -08:00
Makefile	math/lean: Update 3.50.2 -> 3.50.3	2022-12-27 20:01:50 -08:00
pkg-descr
pkg-message
pkg-plist