Yuri Victorovich 0690cc2869 math/lean4: Fix build on 14 ...

PR:		295703
Reported by:	Chad Jacob Milios <milios@ccsys.com>

2026-05-29 19:32:42 -07:00

..

files

math/lean4: update 4.29.1 → 4.30.0

2026-05-26 12:14:49 -07:00

distinfo

math/lean4: Use leantar installed by math/leangz instead of bundling it

2026-05-27 23:46:34 -07:00

Makefile

math/lean4: Fix build on 14

2026-05-29 19:32:42 -07:00

pkg-descr

…

pkg-plist

math/lean4: Use leantar installed by math/leangz instead of bundling it

2026-05-27 23:46:34 -07:00