Binary: agda

efibootmgr ga-config showconsolefont kile bonobo-activation-run-query virt-sysprep ncidd pk-device-rebind razor-config-globalkeyshortcuts sa-check_spamd tkcvs apper objdump cafeobj gdalsrsinfo glade-previewer peas-demo stemwords mail-expire mozplugger-linker Process_Win32.pm mrstats test_worker.py weboob-repos principal_coordinates.py rpld-import muplot storeBackupVersions tv_grab_na_dtv yagi