summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Manifest775logplain
-rw-r--r--agda-stdlib-2.4.2.5.ebuild1916logplain
-rw-r--r--agda-stdlib-2.5.2.0.13.ebuild2177logplain
d---------files104logplain
-rw-r--r--metadata.xml658logplain