summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Thanks to vikraman for writing the agda-lib-ffi ebuildMark Wright2014-07-021-0/+11