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