Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

avrdude zone2sqlite m68k-linux-gnu-ranlib r.out.gdal rcp jack_bufsize scs_test_accuracy list_lists mysqlslap upsc ofxconnect wbemdi scorep-config sed wireshark wireshark btshowmetainfo.bittorrent extractor db5.1_printlog xml2dsr focuswriter gnunet-nat-server lastdb msgconvert kwalitee-metrics upgrade-map-xml sortm.sh mkc_check_sizeof hydra_persist smokeping