Binary: agda

amavisd-release ia64-linux-gnu-ld.bfd elk-spacegroup d.font greadelf regmerge tdevice ncargcc pcl_train_linemod_template turba-convert-sql-shares-to-sqlng glx-free-context hiz-depth-stencil-test-fbo-d24s8 taboot x2gogetservers ztest bcrypt drbl-get-host ldapsetprimarygroup apu-config awsres stag-diff mia-3dbinarycombine blastx osggpx qemu-system-cris r2agent science-astronomy-dev ttut first dh_installyorick