Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ceph-post-file certwatch hdf24to8 x86_64-w64-mingw32-ranlib pkcs11_eventmgr stdpods fbo-generatemipmap sdcc-s51 mailq.ssmtp lcp2_crtpolelt vlock weight dh_suidregister dot-forward drbl-client-system-select floppycontrol tcp2file comterp mia-2dsegment-fuzzyw asp-state2 rmic p4v pj_validate pb-event pyrenamer taud MSSimulator bdbinfo vdradmind wifi-radar