Binary: maude

Debian packages that has this binary:

Package: maude

/usr/bin/maude

Random binary cloud:

arecordmidi autotest-local sasl2-sample-client bmsencode pssegyz gnome-doc-tool pamtooctaveimg pmcat scponly tpm_createek aebuffy dvbsnoop gr_time_plot_s r.rescale.eq mia-2dfuzzysegment flash_eraseall bl2seq winbond-diag einfo partclone.fat pfsextractchannels pg_xlogdump fmcs qemu-system-s390x rainbows rebuildd-httpd github-markup uqwk.nntp wmacpi-cli mpy.mpich2