summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/agda-lib-ffi: allow ghc-8Sergei Trofimovich2016-04-031-0/+5
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+31