Binary: agda

rfcomm ceph_test_object_map runq.exim gawk wftopfa gifcolor globus-job-manager-lock-test google-authenticator jq build-progress.sh pmi_proxy chfn yaz-marcdump affxml ar destripe icon_dump_index cwdaemon datapacker forge_get_config iodine-client-start ngrams ecppc install-menu MonoDevelop.Projects.Formats.MSBuild.exe.config openscad powerline pwrkap_aggregate tos-mote-key webkit2pdf