Binary: menhir

Debian packages that has this binary:

Package: menhir

/usr/bin/menhir

Random binary cloud:

brltty-config cris-linux-gnu-gcc v.net.distance hp_alice_test perfquery safestartkde mpdringtest pgmramp ofxdump petit picocom scotch_gpart lzegrep bp_split_seq freecontact create_matrix gbrowse_set_admin_passwd gcin gshhg import-im6 mc-wrapper.csh yuvdeinterlace mp4subtitle vibrate otfdecompress identd markdown_py qemu-mipsn32-static make_prefs_file.py tcpdump2xplot