summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--Manifest1137logplain
-rw-r--r--agda-2.4.0.1.ebuild4278logplain
-rw-r--r--agda-2.4.2.2-r1.ebuild4557logplain
-rw-r--r--agda-2.4.2.3-r1.ebuild4377logplain
-rw-r--r--agda-2.4.2.3-r2.ebuild4574logplain
d---------files96logplain
-rw-r--r--metadata.xml722logplain