Binary: agda

m68k-linux-gnu-objdump s390x-linux-gnu-objdump sh-linux-gnu-objcopy euca-delete-route-table proxytrack routeB.sh mpispawn ntfsmftalloc gl-2.0-edgeflag-immediate lamson razip glxspheres webdiff setupcon di FreeFem++-mpi msp430-gdb gwyddion pherkin logjam matchbox-desktop mapnik-render tilelive-copy nyancat-server olvwm docbook-2-fot ruby-spork glminfo wmxres zoem