Binary: agda

remove-ds.pl stop-dirsrv euare-userlistcerts fixparts r.neighbors securetty llvm-extract isadump strip mpif77 myproxy-logon dbmerge2 ld1.x_mpich baycomepp arm-none-eabi-size psi-cd-hit-local charybdis-mkpasswd makesmtpaccess fai flowblade gdalsrsinfo hardened-ld KWStyle y4mdenoise uchime fsck.ocfs2 audio_test tegaki-convert systunedump vspace