summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Manifest610logplain
d---------files111logplain
-rw-r--r--lean-3.49.0.ebuild1767logplain
-rw-r--r--lean-3.50.3.ebuild1816logplain
-rw-r--r--lean-3.9999.ebuild1816logplain
-rw-r--r--metadata.xml606logplain