Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

bindexhist ddns-confgen lpmove did git2cl psmeca hdfcomp hp_rotalm_cxx im-chooser kglobalaccel afterimage-libs arch pmprobe matdyn.x_mpich sa-compile chkstow traffic_cop deluge-console espeakup dh_germinate_clean ibus-sharada-braille colibri gfsplit text2table aria_chk podbeuter TimeMon tinyirc map2gtf wxAstroCapture