Index of mirrors/gentoo-portage/sci-mathematics/lean
Name ▴ Size Last Modified
../ - -
files/ - 2026-04-25 07:38
lean-4.14.0-r1.ebuild 1.9 KB 2025-10-14 20:15
lean-4.23.0.ebuild 1.8 KB 2025-10-14 20:15
lean-4.24.0.ebuild 1.8 KB 2026-04-18 01:38
Manifest 2.4 KB 2026-04-18 01:38
metadata.xml 954 B 2025-01-02 22:11
6 items, 8.8 KB total