Name Last modified Size Description![[DIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
metadata.xml 02-Jan-2025 23:11 954
![[TXT]](/icons/text.gif){kind=icon}
lean-4.24.0.ebuild 18-Apr-2026 03:38 1.8K
lean-4.23.0.ebuild 14-Oct-2025 22:15 1.8K
lean-4.14.0-r1.ebuild 14-Oct-2025 22:15 1.9K
![[DIR]](/icons/folder.gif){kind=icon}
files/ 24-Feb-2025 00:03 -
Manifest 18-Apr-2026 03:38 2.4K