Binary: agda

tile-linux-gnu-nm curlftpfs dbus-daemon dfbg complete-ant-cmd.pl g_mk_angndx_d guilt-fork j2d libee-convert pcxtoppm pvblot pcp arb_vertex_program-minmax unixgroup lss3 chardetect assistant_adp stompcat xfce4-notes-settings clamfs pop3proxyd fastaq_merge grafx2 inews klog.afs guiqwt-tests shnhash soundinfo get-news tpmc