Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

objdump euform-get-template fedfind icesh jam kinstalltheme kontact pnmsplit pdf90 textureSize source-highlight sss_groupmod tdbtool musixflx bcrontab ceph_test_trans deluge doodled fv gnome-menus-blacklist ionscript ldaptor-namingcontexts mailping-store pbput pdftk profnet_snapfun atst-int64 sinfod texluajit xcolmix