Binary: coqide

m68k-linux-gnu-strings sh64-linux-gnu-gprof byobu-select-profile tfmtodit kaffeine lighttpd-angel lockfile-remove logcheck-test mydnsexport-pgsql ntfscluster slptool pi Rscript locktest smp_rep_general xfs_freeze xmlto doxypy inosync trhsx install-menu mlpost is2my-spell.pl otrs.GenericAgent.pl pegasus-cleanup starconvert pt findhyph automappingconverter zshutdown_notify