Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cssh euca-delete-route exinext hsc2hs-ghc ps2ascii h5copy gen-ip-validator.pl resgen dnssort qtpromaker flood_mld6 qstat-torque kernelshark sort cvanal dvbscan ecaccess-association-list.bat fallc.fal gshared libde265-dec265 lightspark mcxload Process_Unix.pm contml post_faq t33out.txt.gz tcxmlcheck uhd_find_devices hex2sfd xfce4-taskmanager