summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda
ModeNameSize
-rw-r--r--Manifest2435logplain
-rw-r--r--agda-2.4.2.5-r2.ebuild4436logplain
-rw-r--r--agda-2.5.2-r1.ebuild5270logplain
-rw-r--r--agda-2.5.2-r2.ebuild5305logplain
d---------files102logplain
-rw-r--r--metadata.xml907logplain