Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

as kickdict dgc dpns-listgrpmap pfunct qquota winpopup-send mendex mingw-strip mpitests-osu_allreduce myisamchk pnmtofiasco rlatopam fbo-generatemipmap-array python2.6-futurize sys_basher svc_send catfish.py ecs fauhdli hardened-cc chktest font pbesrewr mountall pngcp assistant rpld-queueple transfermii_cli yokadi