summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/whitespace: remove unused patchMichael Mair-Keimberger2020-07-011-24/+0
* dev-lang/whitespace: drop oldSergei Trofimovich2020-06-282-34/+0
* */*: [QA] Remove redundant `|| die` guardsDavid Seifert2019-12-111-2/+2
* */*: Inline mirror://hackage and update URIsMichał Górny2019-11-101-2/+2
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-2/+2
* dev-lang/whitespace: Strip empty metadata.xml elementsMichał Górny2017-10-041-2/+0
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-282-2/+0
* dev-lang/whitespace: Cleanup per bug #459860Pacho Ramos2016-08-071-4/+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-1/+4
* Unify quoting in metadata.xml files for machine processingMichał Górny2016-01-241-1/+1
* Add missing remote-id type=githubJustin Lecher2015-10-011-2/+4
* dev-lang/whitespace: tweak for ghc-7.10, bug #556746Sergei Trofimovich2015-09-234-0/+69
* 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-084-0/+70