summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/maude: add 3.1Marek Szuba2021-07-213-0/+91
* dev-lang/maude: Depend on dev-libs/gmp[cxx(+)]David Seifert2021-06-181-1/+1
* dev-lang/maude: fix build with GCC 11Sam James2021-06-152-1/+62
* dev-lang/maude: respect ARJakov Smolic2020-11-172-1/+12
* dev-lang/*: Update Manifest hashesMichał Górny2017-12-091-2/+2
* dev-lang/maude: [QA] Consistent whitespace in metadata.xmlDavid Seifert2017-11-261-12/+12
* dev-lang/maude: remove unused patchMichael Mair-Keimberger (asterix)2017-08-131-25/+0
* Drop $Id$ per council decision in bug #611234.Robin H. Johnson2017-02-281-1/+0
* dev-lang/maude: Remove old ebuildDavid Seifert2016-10-082-65/+0
* dev-lang/maude: Add USE="cxx" dep for dev-lang/maude-2.7David Seifert2016-10-081-9/+8
* dev-lang/maude: Version bump to 2.7David Seifert2016-02-113-0/+99
* Set appropriate maintainer types in metadata.xml (GLEP 67)Michał Górny2016-01-241-1/+1
* Replace all herds with appropriate projects (GLEP 67)Michał Górny2016-01-241-1/+4
* Revert DOCTYPE SYSTEM https changes in metadata.xmlMike Gilbert2015-08-241-1/+1
* Use https by defaultJustin Lecher2015-08-242-2/+2
* proj/gentoo: Initial commitRobin H. Johnson2015-08-086-0/+165