Name Last modified Size Description Parent Directory - Manifest 23-Feb-2025 23:41 1.8K lean-4.14.0-r1.ebuild 19-Feb-2025 08:41 1.8K lean-4.11.0.ebuild 14-Dec-2024 17:11 1.4K metadata.xml 02-Jan-2025 23:11 954 files/ 14-Mar-2025 01:11 -