Binary: agda

forsort colorize fetchmail goad-browser kcforesttest lbzless slog2filter munin-check nettee paw++-gfortran arb_texrect-texture-base-level-error yaz-illclient bfgminer antenv.cmd tags_demo r3.mkdspf hibernate-ram imageindex jh_setupenvironment jeuclid-mathviewer llvm-config MonoDevelop.Projects.Formats.MSBuild.exe xpi-repack Sample-NiRecordSynthetic profbval imv stormondemand.rb tora xiph2vclt xymoncmd