Yuri Victorovich d1bd2996d4 math/lean4: update 4.6.0 → 4.7.0 ... Reported by: portscout		2024-04-13 15:31:12 -07:00
..
files	math/lean4: update 4.6.0 → 4.7.0	2024-04-13 15:31:12 -07:00
distinfo	math/lean4: update 4.6.0 → 4.7.0	2024-04-13 15:31:12 -07:00
Makefile	math/lean4: update 4.6.0 → 4.7.0	2024-04-13 15:31:12 -07:00
pkg-descr
pkg-message
pkg-plist	math/lean4: update 4.6.0 → 4.7.0	2024-04-13 15:31:12 -07:00