Yuri Victorovich 4d5291902c math/lean4: update 4.25.2 → 4.25.2.20251201 ...

The previous release's tarball changed unexplainably, and the
new one is unbuildable, again unexplainably.

This update brings it to the latest revision to solve this problem.

Reported by:	fallout

2025-12-01 16:47:08 -08:00

..

files

math/lean4: update 4.25.2 → 4.25.2.20251201

2025-12-01 16:47:08 -08:00

distinfo

math/lean4: update 4.25.2 → 4.25.2.20251201

2025-12-01 16:47:08 -08:00

Makefile

math/lean4: update 4.25.2 → 4.25.2.20251201

2025-12-01 16:47:08 -08:00

pkg-descr

…

pkg-plist

math/lean4: update 4.25.2 → 4.25.2.20251201

2025-12-01 16:47:08 -08:00