summaryrefslogtreecommitdiff
path: root/dev-lang/maude
Commit message (Expand)AuthorAge
* dev-lang/maude: remove unused patchMichael Mair-Keimberger (asterix)2017-08-13
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-28
* dev-lang/maude: Remove old ebuildDavid Seifert2016-10-08
* dev-lang/maude: Add USE="cxx" dep for dev-lang/maude-2.7David Seifert2016-10-08
* dev-lang/maude: Version bump to 2.7David Seifert2016-02-11
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-24
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-24
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-24
* Use https by defaultJustin Lecher2015-08-24
* proj/gentoo: Initial commitRobin H. Johnson2015-08-08