summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* dev-lang/maude: drop 2.7-r1Sam James2021-11-123-123/+0
* dev-lang/maude: add 3.1Marek Szuba2021-07-211-0/+22
* dev-lang/maude: fix build with GCC 11Sam James2021-06-151-0/+60
* dev-lang/maude: respect ARJakov Smolic2020-11-171-0/+10
* dev-lang/maude: remove unused patchMichael Mair-Keimberger (asterix)2017-08-131-25/+0
* dev-lang/maude: Version bump to 2.7David Seifert2016-02-111-0/+39
* proj/gentoo: Initial commitRobin H. Johnson2015-08-083-0/+86