Binary: agda

start-avarice to_erl euca-create-customer-gateway gnomevfs-ls libgnutls-extra-config r.in.xyz sctop-record gl-3.2-minmax smbget stg run-on-ac x2goprint xfoil ace_gperf cdfflxconv cdfsigintegr ceph_test_rados_api_io cgclassify cinnamon-settings-daemon clang-check v.segment kdesrc-build translate plistutil mpb-split multicat_validate pixeltool qtdump keylookup wmxres