Yuri Victorovich ba948fd4b4 math/lean4: update 4.20.0 → 4.20.1 ...

Reported by:	portscout

2025-06-05 11:27:32 -07:00

..

files

…

distinfo

math/lean4: update 4.20.0 → 4.20.1

2025-06-05 11:27:32 -07:00

Makefile

math/lean4: update 4.20.0 → 4.20.1

2025-06-05 11:27:32 -07:00

pkg-descr

…

pkg-plist

math/lean4: update 4.20.0-rc5 → 4.20.0

2025-06-03 23:54:30 -07:00