Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aarch64-linux-gnu-ld ranlib ceph_omapbench nsdbparams fence_scsi v.vol.rst grub-crypt cleanipcs mysqlbinlog text2html test_physfs vp-max-array dropuser rpmdev-newspec mppcheck bbackupquery bundlelinks.old direwolf gr_plot_fft lmt-config-gui cardcommander qmtpfront-qmail mhddfs pmie_daily sipdump sludge-translationeditor ssh-cron vamps qflatboob xgridfit