Yuri Victorovich 01c9e72b4b math/lean: Update 3.49.1 -> 3.50.1 ... Reported by: portscout		2022-12-22 19:37:14 -08:00
..
distinfo	math/lean: Update 3.49.1 -> 3.50.1	2022-12-22 19:37:14 -08:00
Makefile	math/lean: Update 3.49.1 -> 3.50.1	2022-12-22 19:37:14 -08:00
pkg-descr
pkg-message
pkg-plist