Binary: agda

mergelocales.py autotest-daemon bcfg2-repo-validate globus-xioperf g.setproj gvfs-rename h52gif fiascotopnm arb_explicit_uniform_location-array-elements glsl-1.50-transform-feedback-type-and-size qdstat rcsfreeze dos-new-ip6 scs2ps ample mips-linux-gnu-objcopy bpm-tag cdfvhst clmake-short dinifti gjavah-4.9 gnomint-cli ionscript mathtex tsoutputswitch pserve3 raxmlHPC winedbg-development xorp_igmp optimise