math/lean4: Use leantar installed by math/leangz instead of bundling it
PR: 295656
Reported by: Alastair Hogge <agh@riseup.net>
Description
Description
Details
Details
- Provenance
yuri Authored on May 28 2026, 6:44 AM - Parents
- R11:904714e06927: science/{,py-}ncrystal: update 4.4.2 → 4.4.4
- Branches
- Unknown
- Tags