Binary: agda

ranlib sh64-linux-gnu-size euca-describe-snapshots g_wheel ibccconfig nut-monitor pdfedit fbo-integer fbo-stencil glx-make-current routino-router-slim smtpping akonadi_agent_launcher check_postgres_txn_wraparound foundry-parse fsmove gd2i gr_modtool r.in.ascii PToptimizer mafft-qinsi i586-mingw32msvc-cc map2rmap qmail-showctl sendmail tilt_analysis wxBTreeDemo gbb_utility w3af backup