Yuri Victorovich 39cc19929d math/lean4: Broken on armv7 ... Reported by: fallout		2024-05-06 01:43:50 -07:00
..
files	math/lean4: update 4.6.0 → 4.7.0	2024-04-13 15:31:12 -07:00
Makefile	math/lean4: Broken on armv7	2024-05-06 01:43:50 -07:00
distinfo	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