summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda
ModeNameSize
-rw-r--r--Manifest1206logplain
-rw-r--r--agda-2.6.1.2.ebuild5118logplain
d---------files45logplain
-rw-r--r--metadata.xml1740logplain