Binary: agda

cdserv-g77 fedmsg-trigger r.out.pov makekdewidgets fancontrol monodocer pmgetopt iptab ext_transform_feedback-immediate-reuse fp-condition_codes-01 wbemdi getflags aewm++_appbar bibledit-rdwrt concordance db5.3_log_verify dictunformat elilo x86_64-linux-gnu-gcov-4.9 hmm2pfam-pvm checkgroups.pl sendinpaths mono-server2-admin ompi-ps eindent ossim-btoa science-viewing simulavr-disp trinity uwsgi_alarm_xmpp