summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda
ModeNameSize
-rw-r--r--Manifest2129logplain
-rw-r--r--agda-2.4.2.5-r2.ebuild4430logplain
-rw-r--r--agda-2.5.2-r1.ebuild5264logplain
d---------files102logplain
-rw-r--r--metadata.xml907logplain