Binary: agda

c6x-linux-gnu-ld.bfd fasd r3.in.ascii hdfimport icon-slicer ftp mydnscheck-mysql arcrm exrstdattr git-bloom-import-upstream kpsewhich koi8rxterm mipsel-linux-gnu-ld.bfd svscan translate_cmip3 pepdigest jv-convert-4.9 gnunet-fs-gtk inoticoming qaptworker macho-dump-3.5 cli.js eerrorn ocr4gamera runsnake mtst-long sweethome3d-textures-editor teem-unu tyq velveth_63_long