Binary: menhir

Debian packages that has this binary:

Package: menhir

/usr/bin/menhir

Random binary cloud:

m68k-linux-gnu-readelf man1p kxkb mtp-connect mpireconfig mimeexplode ppod2docbook irunner quotacheck urxvt256c-ml texexec setup-ds printerbanner fghack freefoam-reconstructParMesh h8300-hitachi-coff-c++ polarssl_dh_genprime testMPEG1or2VideoReceiver ltsp-info med-bio mgp2html sys osgsimulation iasecc-tool bundle shntrim sim_lisp sshare xlbiff xmedcon