Name Last modified Size Description
Parent Directory -
Manifest 2023-08-16 02:10 3.6K
files/ 2023-09-30 16:10 -
lean-3.49.0.ebuild 2022-12-22 11:10 1.7K
lean-3.50.3.ebuild 2023-05-26 17:40 1.8K
lean-3.51.0.ebuild 2023-05-18 07:10 1.8K
lean-3.51.1.ebuild 2023-08-16 02:10 1.8K
lean-3.9999.ebuild 2023-04-19 00:10 1.8K
metadata.xml 2022-02-23 05:39 606