summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/agda: drop oldSergei Trofimovich2016-04-031-3/+0
* sci-mathematics/{agda,agda-stdlib}: version bumpJauhien Piatlicki2016-01-131-0/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+3