Commit message (Expand)AuthorAgeFilesLines
* sci-mathematics/agda: bump up to 2.5.2Sergei Trofimovich2017-02-161-0/+1
* sci-mathematics/agda: drop unused local USE-description: 'epic'Sergei Trofimovich2016-04-031-1/+0
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-2/+2
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-2/+8
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-241-3/+3
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-241-1/+1
* proj/gentoo: Initial commitRobin H. Johnson2015-08-081-0/+17