Binary: menhir

openrisc-linux-gnu-as condor_vacate_job gpre gsix guacd keditfiletype mpirun.ch_gen2 myproxy-get-delegation mech-dump pppd qhelpconverter-qt5 grpconv fontinst pomigrate2 amavisd-new-cronjob apngdis apper-appsetup powerpc-linux-gnu-c++filt dh_linktree decnetconf fmake hxwls ldapmodifymachine mpgtx nandwrite olsrd php-parse gnatpython-opt-parser texifyscheme odt2xml