Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

thin_ls xdriinfo gpk-install-mime-type grmic pstopnm opencv_haartraining mason_convert0.6 pmdesc rancid-run tetgen frze ctdb_transaction drawterm gsettings-data-convert d.rast.arrow gsmsmsstore htpdate kid3 testReplicator ludevit_tk opendkim-spam packagesearch kitsch plastimatch polygraph-cmp-lx pycompile mkgeo_grid sendemail slay html2msg