Binary: agda

alsamixer avahi-resolve-host-name coin-config LzmaCompress xferfaxstats bovo vmcore-dmesg mediainfo mpitests-osu_scatter pampop9 arcemiestest scorep-score yumdownloader zabbix_server_sqlite3 ciderwebmail_server.pl r3.null hpmount imapproxyd mod-active xspp lxc-test-get_item paman chgpasswd graphic_memory_info inflate_denoiser_output.py tcpspy init-checkconf ctext2pgm trimhistory xymond