Binary: menhir

objdump sh64-linux-gnu-ranlib compface utf8trans bmc-device puzzle-diff x86_64-w64-mingw32-gcov pmload elbadmin neb.x scrollkeeper-get-toc-from-docpath affcat cdfvhst runlock darts discover-modprobe gjots2lpr gnunet-resolver redshift-gtk g++-4.5 icli gst-codec-info-1.0 mate-panel-screenshot ld-musl-config pconsole-ssh pg_controldata atk6-parasite6 m2ts2ts tsinfo wmressel