Binary: miz3

Debian packages that has this binary:

Package: hol-light

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

Random binary cloud:

nm ceph_test_objectstore_workloadgen csplit man6x x_init hp-faxsetup llvm-tblgen pg_restore qbrowser login autoconf2.59 snakeoil-on-ice dms_prepare_bind_data ecaccess-job-submit rmiregistry gitxgrep imgrep screendump qt-faststart scpr clxdo send service_set_value rc-service iasecc-tool pyqi sb2-config sludge-translationeditor get-news unireverse