Binary: menhir

fftwf-wisdom gnuchess intltool-prepare irw rlog_print operf ysearch-gfortran infinite-spot-light pbo-teximage-tiling-2 scrollkeeper-get-toc-from-id yadifa adnslogres glm dtop decnetconf start_webtool fiaif-update v.net.centrality xhotswap killm rotate kwalletcli leafnode-version collectiongain sb2-build-qemuserver ml-build vagrant otl2pdb xsunpinyin-preferences tasm