Binary: miz3

Debian packages that has this binary:

Package: hol-light

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

Random binary cloud:

objcopy ld eulb-create-lb-policy msgcat ihealth jack_netsource kdf oodraw telnet-chatd irexec zenmap-root rst2newlatex lxvile-fonts bareos-dir coqchk dneigh ekeyd-egd-linux printsextract icemon innmail kttimedmgr h5pcc.openmpi nescc-wiring inherit1 certs2ldap.py rbeautify fst-print spatialite_dxf slock atk6-covert_send6d