Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
Manifest 20-Sep-2024 00:11 2.7K
![[DIR]](/icons/folder.gif){kind=icon}
files/ 03-Dec-2024 01:41 -
![[TXT]](/icons/text.gif){kind=icon}
lean-3.51.1.ebuild 15-Aug-2023 18:10 1.8K
lean-4.2.0.ebuild 20-Sep-2024 00:11 1.3K
lean-4.11.0.ebuild 20-Sep-2024 00:11 1.4K
metadata.xml 22-Feb-2022 19:39 606