mirrors.tnonline.net
Folder Path
/
gentoo
/
gentoo-portage
/
sci-mathematics
/
lean
/
1
directory
4
files
List
Grid
Name
Size
Modified
Up
files/
—
02/24/2025 08:11:04 PM +00:00
lean-4.11.0.ebuild
1.4 KiB
12/14/2024 04:11:20 PM +00:00
lean-4.14.0-r1.ebuild
1.8 KiB
02/19/2025 07:41:17 AM +00:00
Manifest
1.8 KiB
02/23/2025 10:41:04 PM +00:00
metadata.xml
954 B
01/02/2025 10:11:28 PM +00:00