summaryrefslogtreecommitdiff
path: root/dev-libs/gecode/metadata.xml
AgeCommit message (Expand)Author
2019-10-11dev-libs/gecode: Remove last-rited pkgMichał Górny
2016-08-01dev-libs/gecode: fix metadata.xml schema.Michael Orlitzky
2016-08-01dev-libs/gecode: new version 4.4.0.Michael Orlitzky
2016-02-28metadata.xml: Add maintainer-needed comment to packages without maintainer.Ulrich Müller
2016-01-24Remove explicit notion of maintainer-needed, for GLEP 67Michał Górny
2016-01-24Unify quoting in metadata.xml files for machine processingMichał Górny
2015-08-24Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert
2015-08-24Use https by defaultJustin Lecher
2015-08-08proj/gentoo: Initial commitRobin H. Johnson