summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/agda: drop oldSergei Trofimovich2020-10-081-13/+0
* sci-mathematics/agda: allow transformers-compat-0.4Sergei Trofimovich2016-04-031-14/+0
* sci-mathematics/agda: fix hastables build failure, bu #574204Sergei Trofimovich2016-02-081-0/+13
* proj/gentoo: Initial commitRobin H. Johnson2015-08-082-0/+24