Binary: agda

aclocal-1.11 m68k-linux-gnu-readelf msgfilter v.distance mksh mpitests-osu_latency ext_framebuffer_multisample-alpha-blending fixpspps rho updatedb.sh amavisd-new-cronjob powerpc-linux-gnu-strip cdfmaskdmp hcheck precord.o glosstex grub-choose-default hlint essidscan synaptiks warp tmxgrep mia-3ddistance-stats pcl_ni_trajkovic bits.py plt-r5rs rpld-queueple taucxx mathspic yorick