Version 3.4 is available upstream. Please consider updating! It seems that version 3.4 is available upstream, while the latest version in the Gentoo tree is 3.1-r1. You think this warning is false? Read more about it here.
Maude is a high-performance reflective language and system supporting
both equational and rewriting logic specification and programming for a
wide range of applications. Maude has been influenced in important ways
by the OBJ3 language, which can be regarded as an equational logic
sublanguage. Besides supporting equational specification and
programming, Maude also supports rewriting logic computation.
Packages