Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

exim_fixdb RuleTableToTree g_principal_d ondelay start_kdeinit_wrapper tex2lyx mail-notification ppmmake ganesha-admin futex-contention-report npcd tesseract vcf-tstv wdaemon xkbevd affxml cinnamon-screensaver-lock-dialog builder gt4-interface-install fingerw lnpd ext2spice mgpembed mia-2dmyoperiodic-nonrigid pcmanfm sfacctd pod2pdf s3qllock mtst-int64 xc_save