summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Manifest610logplain
d---------files59logplain
-rw-r--r--lean-3.35.1-r2.ebuild1773logplain
-rw-r--r--lean-3.37.0.ebuild1773logplain
-rw-r--r--lean-3.9999.ebuild1773logplain
-rw-r--r--metadata.xml672logplain