Binary: agda

forsort ipa-getcert genbackupdata psk-crack lbzip2 oggz-known-codecs mysqlimport pbc_disassemble horde-queue-run-tasks fbo-luminance-alpha bloom-update rancid sg_vpd pwunconv implementation6 vdsm-tool aewm++ ceilometer-agent-notification ecaccess-file-delete.bat fswebcam gift-generate-inverted-file dccplso xmlada-config mincview gmp3info java otrs.WebserviceConfig.pl taurusform sip-date ssh-import-id