Yuri Victorovich 4e6e44675b math/lean: Update 3.44.0 -> 3.44.1 ... Reported by: portscout		2022-06-28 22:25:07 -07:00
..
distinfo	math/lean: Update 3.44.0 -> 3.44.1	2022-06-28 22:25:07 -07:00
Makefile	math/lean: Update 3.44.0 -> 3.44.1	2022-06-28 22:25:07 -07:00
pkg-descr
pkg-message
pkg-plist