Binary: agda

cris-linux-gnu-strings gmtstitch kfloppy perl.prov.files pci sip-redirect reposync WarpImageMultiTransform kermit-sshsub ecaccess-file-move pastel.lut freecontact bool.o gpsmon ifile.inject.header kernel-packageconfig reduce-font rcvtty.fixup i586-mingw32msvc-objdump mtkbabel keydctl owx-get packagesearch nef-11d.x proguard pure-ftpd-ldap sigfind crypt_passwd.pl atk6-redir6 xtermset