Binary: agda

objcopy disk-image-get-kernel dogtail-detect-session fasd r.sun hiredis-example ipcalc rmdtovbox ncargcc bdb_recover narcissus.app-serve ntlm_auth wbemec tmda-pending mdsum hwclock aelock objdump cdfinfo chktex eboard-config snmpc gccgo h2cli net_dropmonitor-record pegasus-kickstart rebar runsnakemem udav rv_merge