Yuri Victorovich d3029e4e32 math/lean4: update 4.5.0 → 4.6.0 ... Reported by: portscout		2024-02-26 16:31:16 -08:00
..
files	…
Makefile	math/lean4: update 4.5.0 → 4.6.0	2024-02-26 16:31:16 -08:00
distinfo	math/lean4: update 4.5.0 → 4.6.0	2024-02-26 16:31:16 -08:00
pkg-descr	…
pkg-message	…
pkg-plist	math/lean4: update 4.5.0 → 4.6.0	2024-02-26 16:31:16 -08:00