Binary: agda

btrfs-find-root grandvizier dpkg-scansources test-speech ma2asm arpd pgmedge ocamldoc.opt turba-public-to-horde-share fbo-drawbuffers2-blend twadmin dmxwininfo unicode ahcpd simg2img nm ld mips64el-linux-gnuabi64-addr2line cinder-api runlock gdeskcal gnupg-pkcs11-scd estcall resend.fixmsg glav dpkg-ruby pussy spatialite_gml xemacs-21.4.22-nomule ospf_clear_database