Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

wordbib2xml strip sparc64-linux-gnu-as freight dictionary ods-hsmspeed INSTALL smbclient scout.ser smp_discover xrootd cat bp_fast_load_gff ecaccess-file-size.bat freefoam-deformedGeom x86_64-w64-mingw32-gnatclean-posix heimdall elm_prefs_cc thumbelina graph-bgp.pl plainbox poster pick_de_novo_otus.py queue-repair sorterr latexpand tomboy vde_tunctl vcf-to-mutt ico