Binary: agda

byzanz-record bfin-linux-gnu-cpp nl-class-list spftest pamtopnm camlp4 totpprov turbo_spectrum.x_mpich smbios-token-ctl SpecularSpheres 0store mkiss arm-none-eabi-gprof bp_meta_gff col6 debci-status exrstats freefoam-surfaceCoarsen fstransform fieldpath-gen indi_gpusb indi_lx200_16 wv2-config likey llvm-diff-3.4 avg_checktouch soundmodem setenv.sh handjoob fsobject.vbs