Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

abrt-harvest-vmcore mergeword ceph_test_get_blkdev_size fmt bmsencode globus-fork-starter guilt-next kcarectl manage_logger dbcolcopylast kill_instance qd-config x2goserver-run-extensions aa-logprof svc debomatic dotmatcher gift-extract-features gpaint r.regression.line gromit hmm2pfam-pvm owftpd pmie_daily uname_resource qthid-2.2 rman sfftobmp pdp10 tv_grab_combiner