Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

x86_64-linux-gnu-strings ranlib certwatch cciss_id drush derb pamtotga globaltime pdf90 glx-swap-pixmap rsync sg_read aapt in.comsat x86_64-linux-gnu-ld.gold bp_biogetseq mk-origtargz mixbench hls imjoin tkx-ed testH264VideoStreamer mafft-homologs.rb anno minccmp pork mmk_m3-int32 ccache-swig3.0 trimage webcamd-setup