dev-lang/maude|https://maude.cs.illinois.edu/w/images/6/62/Maude-3.1-manual.pdf:https://maude.cs.illinois.edu/w/images/d/d3/Maude-3.1.tar.gz:https://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-3.1.zip:https://maude.cs.illinois.edu/w/images/4/4f/Maude-3.1-manual-book-examples.zip|sci@gentoo.org