Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

sessionStats glibc_post_upgrade.i686 wordlist2hunspell kmouth mtp11-detect libreoffice getenforce spfd sqlt-diff ksvalidator mktexpk v4l2-dbg wvText x2gostartagent anytun-controld apper cdfmoyt cdfspeed volume_injection update-dictcommon-aspell dput exim_fixdb mbim-network rrd-client-nagios-perfdata.pl bespp xqxdecode thb ssr-nfc-hoa.nox speedometer stalin