Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

amd2sun bin2m euare-userdelkey gdb-add-index trend1d kfind kshell cd-drive mpitests-IMB-EXT numatop tripplite asciidoctor-safe wineserver64 biff log2asc log2long update-rc.d r.carve kdenlive freenect-cppview efa mysqlanalyze osgwidgetinput profnet_isis sb2 uim-pref-gtk ulatency-gui valknut xcf2pnm ykval-export-clients