Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ccmake3 elk-spacegroup fusermount gdal2tiles.py .ipsec.hmac check_callstack mpitests-osu_multi_lat mpic++ mpirun_rsh thinkjettopbm ntpdate ods-kasp2html rabbitmqctl pocommentclean x2goagent xrotor athena-jot light.lut fdnsiplist gift-url-to-fts.pl dtpcadmin oxygen-shadow-demo lbcdclient avicat sctest s3rmbucket metar obexpush_atd conditional_uncovered_probability.py ssserver