Binary: agda

aqbanking-config condor_reschedule logsave fltk-config-i686 foomatic-compiledb fprintd-delete g_membed_d heimdal-kpasswd id3convert mpitests-osu_scatter arb_uniform_buffer_object-bindbuffer-general-point razor-notificationd syslog-ng-ctl usbhid-dump tkiptun-ng bowtie2-inspect-s cvs-inject dahdi_waitfor_span_assignments start_erl ct_run freeplane gant sysinfo.gap blockmode r.mfilter.fp depdiagram-generate nodecachefilereader pdfmod mytool znol