Name Last modified Size Description Parent Directory - metadata.xml 22-Feb-2022 19:39 606 lean-3.51.1.ebuild 15-Aug-2023 18:10 1.8K Manifest 18-Jan-2024 18:40 2.1K lean-4.2.0.ebuild 18-Jan-2024 18:40 1.3K files/ 08-May-2024 02:10 -