Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

wait4amd score-linux-gnu-ranlib sdptool ceph_test_cls_replica_log r.statistics guilt-top sndfile-play ng_vol pbmtocmuwm ucalc fbo-generatemipmap-filtering blueman-sendto calligraactive cde equa.itt faust2sc gmediaserver jtdiff nvimgdiff lunzip rme py3rsa-verify join spectgen systemd-delta tcpcopy tomoyo-queryd samtools_0.1.18 MapAlignerIdentification ykval-import-clients