Folder Path
/
gentoo
/
sci-mathematics
/
lean
/
1
directory
4
files
5.8 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
4/10/2025, 5:12:06 PM
lean-4.11.0.ebuild
1.4 KiB
12/14/2024, 4:11:20 PM
lean-4.14.0-r1.ebuild
1.8 KiB
2/19/2025, 7:41:17 AM
Manifest
1.8 KiB
2/23/2025, 10:41:04 PM
metadata.xml
954 B
1/2/2025, 10:11:28 PM