Binary: agda

powerpc64-linux-gnu-size dar_xform exim_tidydb mtp-folders mongodump ocamlfind symfony scotch_gpart opxdvi xlogo apt-dater-host arm-none-eabi-elfedit canplayer gmtpath jack_mix_box jh_generateorbitdir ladishd nfc-relay windowmasker nifti_stats upssched opencc osgthirdpersonview pt-kill predictnls qqwing compare-histos sff-dump.2.3.5 tightvncpasswd matchmol