summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* **/metadata.xml: Replace http by https in DOCTYPE elementUlrich Müller2021-09-111-1/+1
* */*: Normalize metadata.xml filesMichał Górny2021-03-161-1/+1
* sci-mathematics/agda: bump up to 2.6.1.2Jack Todaro2020-12-171-18/+33
* sci-mathematics/agda: drop USE=uhcSergei Trofimovich2020-11-151-1/+0
* 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