Binary: agda

atari++ ls easytag febootstrap3 func-list-vms-per-host dump_lfts.sh showconsolefont list_members mine_detector ncurses5-config opendkim-testmsg vomsserver.pl arb_vertex_array_bgra-api-errors puppet convert_to_should_syntax vala-gen-introspect-0.10 cg_diff reformatx debbugsconfig dh_prep designate-sink dnsubmit fatlabel dtpcadmin lambdabot opj_jp3d_decompress sp-gxmlcpp-test teamnl mwc realm