Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

amrecover b43-ivaldump dpguesser iptables-save-1.4.7 tiffinfo pmnsdel pdnssec pmap lhapdf-query findtr dynmat.x_mpich rarian-sk-gen-uuid SleighWorkerWrapper.sh wbemai tpmtoken_protect bc airspy_si5351c dh_linktree e2freefrag filefrag idl6.lut vector.o add_text hedgewars funnel otrs.RebuildConfig.pl pegasus-kickstart mmk_m3 swfcombine tetraview