Binary: agda

sh-linux-gnu-ar fastasoftmask powerpc64-linux-gnu-cpp g_sgangle_d guilt-patchbomb konqueror kmmatch mpdtrace.py ntfscat pmeth pltcl_delmod adlint_cma blastpgp cdfstdevw install-keymap sethost rmt-dump install.sh x86_64-linux-gnu-gcc-4.9 gnome-nettool ibid-memgraph opj_jpip_addxml p10cfgd pmlock perroquet identify_missing_files.py stm32flash devdiscover unhtml wmanager