Binary: agda

ansible-console etop gnokiid hal-lock eeprom khotnewstuff4 gpg-error-config lyxclient insmod.static scissor-bitmap sdcv supybot-plugin-create tkaer powerpc64le-linux-gnu-c++filt parse-table editcomment gdesklets gozerbot-udp hdel imstore lilypond-book rw-by-pid-report apt csscombine_py2 scim-setup screenlets-daemon snappuller-disable usrp2_card_burner reflist ytree