Folder Path
/
gentoo-portage
/
sci-mathematics
/
lean
/
1
directory
4
files
6.4 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
11/14/2025 06:06:04 PM +00:00
lean-4.14.0-r1.ebuild
1.9 KiB
10/14/2025 08:15:07 PM +00:00
lean-4.23.0.ebuild
1.8 KiB
10/14/2025 08:15:07 PM +00:00
Manifest
1.8 KiB
10/14/2025 08:15:07 PM +00:00
metadata.xml
954 B
01/02/2025 10:11:28 PM +00:00