Binary: agda

bmc-info clogTOslog2 mpirun_dbg.gdb mysql-zrm-manage-backup gen-nonzero-unit ase-gui seahorse srp_daemon.sh i586-linux-gnu-gprof z80-unknown-coff-ld showdb folks-inspect vfte gfan_padic dtemacs v.surf.bspline rqsh-server.pl.gz update-mime moap mpi_kmeans mpqcval mpris-remote whups-convert-datatree-shares-to-sql piuparts pnscan encode.py pg_python.py ri tsplash ulqda