Binary: agda

clamav-config db_recover r.mapcalc qresub qmod smpswriter orbit-config arb_uniform_buffer_object-negative-bindbufferrange-range moc-qt5 profiles satyr reposctl bp_seq_length desproxy-inetd dhis-genid gnulib-tool i.smap scandeps hlansi.pl qemu-system-s390x rxstack insegt slony_logshipper smtpprox-loopprevent unicharset_extractor vmount svdrpsend bioinfo mergecap tv_grab_it_dvb