Binary: maude

Debian packages that has this binary:

Package: maude

/usr/bin/maude

Random binary cloud:

chemtool gnomevfs-mv g.mkfontcap g_cluster htdb_dump ipa-csreplica-manage mysql-zrm-backup ppmfade sqlrw picomus uml_net ceilometer-api cucumber idba chipcard-config maptool mincwindow neutron-ovs-cleanup LibraryLocal opam-admin livesys metasql oakdecode PythonNWSSleighWorker pytonectl rabbitmqctl sphinx_pitch tomoyo-init tracker-stats utf8migrationtool