mirrors.tnonline.net
Folder Path
/
gentoo
/
gentoo-portage
/
sci-mathematics
/
lean
/
1
directory
5
files
List
Grid
Name
Size
Modified
Up
files/
—
11/23/2024 11:11:10 AM +00:00
lean-3.51.1.ebuild
1.8 KiB
08/15/2023 04:10:27 PM +00:00
lean-4.11.0.ebuild
1.4 KiB
09/19/2024 10:11:30 PM +00:00
lean-4.2.0.ebuild
1.3 KiB
09/19/2024 10:11:30 PM +00:00
Manifest
2.7 KiB
09/19/2024 10:11:30 PM +00:00
metadata.xml
606 B
02/22/2022 06:39:51 PM +00:00