Binary: agda

mips64-linux-gnu-c++filt dnsmap fdupes pftp gdtopng glite-lb-mon r3.out.ascii ipa-replica-manage mpdringtest ext_framebuffer_multisample-blit-flipped vs-point_size-zero pflags qmlplugindump razor-session sss_ssh_authorizedkeys fake_mld6 hostn isqlw-vt mrgscr GENtle i686-w64-mingw32-gnatkr-posix searchtool mpicc.mpich morse_inspector eoutdent rptrender picard python2.7-dbg process_iseq.py twidge