Yuri Victorovich 6aff6caba2 math/lean4: update 4.31.0 → 4.32.0

2026-07-14 15:13:26 -07:00

..

files

math/lean4: Remove patch to fix build

2026-07-06 08:05:17 -07:00

distinfo

math/lean4: update 4.31.0 → 4.32.0

2026-07-14 15:13:26 -07:00

Makefile

math/lean4: update 4.31.0 → 4.32.0

2026-07-14 15:13:26 -07:00

pkg-descr

…

pkg-plist

math/lean4: update 4.31.0 → 4.32.0

2026-07-14 15:13:26 -07:00