Binary: agda

avr-gcc qsh g_vanhove_d less mk-query-digest opencv_haartraining pcl_gp3_surface csv_to_db horde-queue-run-tasks mips-linux-gnu-size powerpc-linux-gnu-addr2line clang-3.5 dh_clistrip cmigemo fastDNAml_loop fping6 policyeditor amsshell kitenkanjibrowser y4mshift mutt-patched app.psgi pdfposter xinput_resource rings3d sarg-reports science-meteorology sim4 slonik_print_preamble recwav