summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda-lib-ffi
ModeNameSize
-rw-r--r--Manifest1530logplain
-rw-r--r--agda-lib-ffi-0.0.2-r2.ebuild731logplain
-rw-r--r--agda-lib-ffi-0.0.2.ebuild655logplain
-rw-r--r--metadata.xml427logplain