Binary: miz3e

Debian packages that has this binary:

Package: hol-light

/usr/share/hol-light/miz3/bin/miz3e

Random binary cloud:

augenrules BackupPC_nightly cyradm i.ortho.photo ksu pessulus qstardict uic tgt-setup-lun yacc WinCommand ini2tcl.tcl apertium-gen-lextormono apmsleep bp_dbsplit makeuserdb filterBugs test_all seewbmp ri mediastream ltsp-genmenu sfacctd qhimdtransfer webfsd weston-info winemaker wmclockmon-cal wmnd dzhandle