Index of mirrors/gentoo-portage/sci-mathematics/lean
Name ▴ Size Last Modified
../ - -
lean-4.24.0.ebuild 1.8 KB 2026-06-02 05:08
Manifest 905 B 2026-07-04 14:08
metadata.xml 954 B 2025-01-02 22:11
3 items, 3.6 KB total