Binary: agda

abrt-action-analyze-ccpp-local powerpc64-linux-gnu-objdump check_postgres.pl dpns-ls fortune mpitests-osu_mbw_mr par qiv qdstat killall5 remote-viewer regedit zile mtime abtransfers cdfsstconv cdfvita-geo ocs-restore-mdisks xform2dfield drbl-clean-autologin-account txt2ihex gappletviewer-4.8 git-extras make_ndx imwheel lemonldap-ng-cli lxc-test-getkeys mbtg mcdiff amin