Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

gapcmon cannaping cernlib-static gajim-history-manager protoize hp-doctor teachjove regmerge x86_64-w64-mingw32-gcc-4.9.2 auedit ncargfile nxproxy oscap dbinfo manifestparser pppoe-server isql-vt ykchalresp AClock buici-clock dpkg-repack prettyplot gcc-nm-4.8 digest-service report-hw bprecvfile mp3splt mutt-patched science-viewing-dev wp2x