Binary: maude

Debian packages that has this binary:

Package: maude

/usr/bin/maude

Random binary cloud:

aclocal-1.5 tile-linux-gnu-ranlib i2cdetect korgac libftdi-config mpirun_dbg.totalview qmake reaver sa-awl tree vpnc 2xml xulrunner mftext audex jackdaemon fetch-ebook-metadata load_control dact clean_jumbles rxtelnet mia-2dseriestovolume mlpack_perceptron mpgenplaylists seqdiag3 migrate-repository rbenv svn_apply_autoprops RNPxl wd_identify