Binary: menhir

Debian packages that has this binary:

Package: menhir

/usr/bin/menhir

Random binary cloud:

bacula-tray-monitor alpha-linux-gnu-addr2line db2x_manxml ggobi gnome-desktop-item-edit golly heimdal-kinit png2mng.pl kdesvn mpicc mpitests-osu_allreduce mstregdump icontopbm penctl will_cpp_segfault msp430-readelf designate-rootwrap ff3d roff2text last-split depgen.pl y4mtoppm ttink osgshape pkegcs spock taud travis uhd_usrp_probe cpeGui