Binary: agda

amtu tile-linux-gnu-readelf dpm-sql-usage-by-vo-user freeDiameterd-1.1.2 fts-rest-transfer-status gnat gslj mpicc mpiname mpirun nypatchy activeprogram-get draw-vertices revoker rbd-fuse rdiff-backup-statistics autodep8 bfgminer bldinsert bogoupgrade-bdb featreport escript polyorb-config live-medium-eject llvm-rtdyld see dump_acr_nema quiterss sbrsh svinitd-create