summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics: Update Manifest hashes.Ulrich Müller2017-12-101-2/+2
* sci-mathematics/agda: bump up to 2.5.2Sergei Trofimovich2017-02-161-0/+1
* 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