summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/agda-stdlib: bump up to 2.5.2.0.13Sergei Trofimovich2017-02-161-0/+1
* sci-mathematics/agda-stdlib: 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