Binary: agda

turbostat czmq_selftest eclipse gst-launch-0.10 rmdtovbox munin-node neso opendkim-genzone pmsocks pilot-read-screenshot simplevisor-loop clunfslock drbl-ocs xrctl dictconv dms_restoredb gforth-itc kcm tcpcli dzil tkx-ed config_list mpc owncloudcmd prxs 2to3-3.4 spd-say aes_calc alias_manager.pl umegaya-ddc-ping