../ files/ 08-Feb-2022 23:40 - Manifest 08-Feb-2022 17:40 2740 lean-3.37.0.ebuild 08-Jan-2022 03:10 1773 lean-3.38.0.ebuild 30-Jan-2022 19:39 1773 lean-3.39.1.ebuild 08-Feb-2022 17:40 1773 lean-3.9999.ebuild 04-Dec-2021 03:09 1773 metadata.xml 25-Jan-2022 19:10 673