Binary: agda

strip dogtail-run-headless eulb-delete-lb-listeners euscale-terminate-instance-in-auto-scaling-group iksperf jpstoimg dcbtool mpiexec mpitests-osu_bw ncftpls esgenerate.js roundmode-getintegerv snes_ntsc_benchmark vile-pager xfs_growfs xfs_ncheck checkbox dwww-refresh-cache fc-solve loimpress ml-yacc.x86-linux nescc-mig trean-url-checker pvmgroups gmbi stealthcron.gz tcamttest otl2pdb domain.py.mako tv_grab_fr