Binary: agda

alpha-linux-gnu-as m68k-linux-gnu-strings paste ecryptfsd grdview r.digit llvm-ranlib ncftpget glsl-empty-vs-no-fs linguist-qt4 rdate sg_reassign dumpreg w3mman wvSummary sha1sum splitti3 mips-linux-gnu-strings mcwarp flashproxy-reg-url akonadi_notes_agent x86_64-linux-gnu-python3-dbg-config mklibs olwm-x-window-manager doctrine-dbal.php starpu_workers_activity tightvncserver lcf xjed zkCli.sh