Binary: agda

alpha-linux-gnu-readelf h8300-linux-gnu-ld.bfd enum_chmLib mkdgiff dumpe2fs eric4 imsettings-xim javaldx fs-textureOffset-2D initialized-vbo turbo_davidson.x_openmpi rt-validator v4l-conf apper-appsetup apt-cudf newgem.tt daisy-player elilo cutgextract xml_from_edoc.escript isenkram-autoinstall-firmware key-mon ideviceimagemounter magics-config avg_showfont snp_store seyon-emu tau_throttle.sh signature_digest_utility visolate