Folder Path
/
gentoo_tree
/
sci-mathematics
/
lean
/
1
directory
4
files
6.4 KiB
total
List
Grid
Name
Size
Modified
Up
files/
—
12/06/2025 05:10:59 AM +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