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
Description
Description
Details
Details
- Provenance
yuri Authored on Dec 2 2025, 12:45 AM - Parents
- R11:62ecf24e9e1a: misc/freebsd-release-manifests: Add 15.0-RELEASE MANIFEST files
- Branches
- Unknown
- Tags