Binary: menhir

openrisc-linux-gnu-ranlib cdmake-g77 uncompface gahp_server glite-lb-bkpurge-offline gmt2bin ampltabl.dll munge mysql-myisam-dump cpanp-run-perl PKCS12Export adsl-setup tcpprep tie imgmerge dicom_echo doconce git-delete-branch x86_64-w64-mingw32-gnatprep-posix ifp mifare-desfire-write-ndef licq llvm-config-3.5 llvm-ld mono-server4-update ossim-dms2deg rabbit screenlets-manager sitecopy listings-ext