Binary: menhir

Debian packages that has this binary:

Package: menhir

/usr/bin/menhir

Random binary cloud:

aclocal-1.6 score-linux-gnu-as clojure-compat condor_findhost euca-describe-dhcp-options ppmtoyuv cli.js qmlmin racoon2-pskgen tcpd pretranslate cgnsupdate chronicle-spooler ocs-live-bug-report pq_ctndisp cvstrac cw drbl-useradd-file mklost+found lasritt.itt sbe2mipe tcpspray.ndisc6 nrg2iso fsmv qct sigrok-cli speedcrunch thpot umockdev-run viewsu