Name Last modified Size Description Parent Directory - metadata.xml 02-Jan-2025 23:11 954 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 files/ 24-Feb-2025 00:08 - Manifest 23-Feb-2025 23:41 1.8K