Binary: agda

xtensa-linux-gnu-addr2line lbzmore lfc-rename ssh piglit-merge-results getteximage-formats glsl-fs-raytrace-bug27060 passive_discovery6 ardour3 bareos-fd powerpc-linux-gnu-objdump bp_papplmaker.pl frama-c-gui gm-dump_schema ip6tables ketchup krita nodelist2lbdb dumbnet pm_which es2_info powerd pt-mysql-summary qhelpconverter mzscheme rmagic stardict-editor supfilesrv xautolock xfce4-mime-settings