Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

euare-usermod v.buffer dumpiso mysqlauditadmin pbmtomgr pcl_viewer pcp2graphite arb_compute_shader-minmax gl-3.2-layered-rendering-gl-layer pptpsetup tcpreen tint2 xterm patclean dlocate list-keys.sh drbl-fuh-put gdnsd localepurge nmtui-connect pfsstat test_celeryevdump.py recins sbuild-createchroot setBfree-start shape stg-swallow tau_reduce vserver-stat housekeep.daily