Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

lpmove euca-replace-network-acl-association i.modis.qc mtp-reset setenforce my_print_defaults clipfilter perl5.10.1 fbo-luminance-alpha whisper-merge qtpaths net tkdiff ac++ tt2text eric5_trpreviewer gpiv_trig langford_rx_rf_bb_vga add_rel_link.sh testH264VideoToTransportStream llvm-objdump-3.5 mincdiff mono-csc flist occ prerex apt-add-repository DBImporter vrfy xmp