Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cachefilesd dirac_RGBtoYUV411 etckeeper gio-querymodules-64 gmtget icewm-xdg-menu mpdlib.py puttytel motv bscan cec-client cqa-mass-tag db5.1_load efax-gtk elki expect_kibitz gfan_fanhomology prompt oodoc_test ubiupdatevol gp2c recoverdm svn-inject tercpp twoftpd-drop tab2txt1 verve-focus xiterm+thai sfactor zonecheck