Binary: maude

Debian packages that has this binary:

Package: maude

/usr/bin/maude

Random binary cloud:

clufter unicode_start svn-clean mtp-playlists snmpstatus cairosvg average.x_openmpi wbemgcd xfsm a+ bowtie-align-l cf-upgrade init-helper fmscan grdproject gramophone2 cluster hime-message kamerka kc go2obo_text nfc-emulate-uid dtddiff museeq sxw2txt importmqlgui ib_qlgc_vnic_query setup-plt fsck.reiserfs subunit-diff