Binary: maude

Debian packages that has this binary:

Package: maude

/usr/bin/maude