Binary: miz3

Debian packages that has this binary:

Package: hol-light

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

Random binary cloud:

airtsp-config ranlib cdw dieharder cssstat fastasort pftp gclose r3.null g_rdf h264encode ati_draw_buffers-arbfp moggsplit gem2rpm scorep-backend-info xpaint groovyConsole labrea repl rtc orbit-name-server-2 doit pdistreport ratpoints relion_star_datablock_ctfdat s3curl scsiinfo rpdfcrop cowbuilder-dist xymonclient-linux.sh