summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda-executable
ModeNameSize
-rw-r--r--Manifest388logplain
-rw-r--r--agda-executable-2.3.0.1-r1.ebuild806logplain
-rw-r--r--agda-executable-2.3.0.1-r2.ebuild805logplain
-rw-r--r--metadata.xml448logplain