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