Binary: agda

anthy-morphological-analyzer ld.bfd cris-linux-gnu-objdump dpm-sql-dpns-to-diskfs-chk flashrom shptreetst db_to_html_table arb_sample_shading-ignore-centroid-qualifier glx-pixmap-multi sshpass wvWml logconv aptitude-robot cansend dbus-cleanup-sockets xml2dsr direwolf xyz2kdt gotmail v.to.db fftwq-wisdom javamaker.bin ewend hy3 fstree blast_wrapper.py qmail-remote testldap.pl tinydyndns-data wavesurfer