Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

monmaptool gahp_server gnome-keyring iscsi-ls gmake libquadmath-0.dll clearbuffer-invalid-buffer BATCH fake_mldrouter6 wnb xtoys ypmatch aedesk binfmtcxx-interpreter detect_adni_phantom gauche-config getclose r3.info mighty-mkindex nilfs_cleanerd ovs-pcap po_dumpir po_names rsbackup-mount tla-gpg-check run-game uwsgi_luajit uwsgi_sqlite3 newnfsvserver xymond_hostdata