Binary: agda

auditctl xtensa-linux-gnu-ld chicken-uninstall ldns-keyfetcher libcdaudio-config plugreport mpitests-osu_barrier dnsfilter rabbitmqctl reboot xrdp-sesadmin zvbi-atsc-cc ulistd cccc cgset update-profile-cache uupdate freefoam-Co freefoam-sonic gjs-console gift-one-minus cfdpclock kdevplatform_shell_environment.sh lavapdu-listen ptywrap application-browser nepomukstorage dot2ruby menu.pl tsung-rrd.pl