summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/agda-stdlib: Remove unused fileJakov Smolic2021-01-201-1/+0
* sci-mathematics/agda-stdlib: add forgotten 'standard-library.agda-lib'Sergei Trofimovich2017-02-171-0/+2
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+1