Binary: maude

Debian packages that has this binary:

Package: maude

/usr/bin/maude

Random binary cloud:

walk frv-linux-gnu-strip srmv2.2 freecolor gpk-backend-status jack_midiseq svcutil j2k_to_image c2ph ext_transform_feedback-builtin-varyings smbta-util traffic_ctl get-wings-flags bunzip2 cdfsiginsitu exim_fixdb fdmountd rifftree pscontour jbgtopbm mwdisext ndiswrapper phpdox se_apt-get foo2hp qapt-batch srtm2sdf sm.pl rblsmtpd xen-version