Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

runhaskell-ghc git-restore-mtime gnuplot-wx g_current otr_mackey process_stats mpif77 pk-device-rebind telnet-probe planner pptpsetup bitly varnishreplay xrdmapc cdfchgrid expire-iso8601 arbitronsort dacstoken eztrace_create_plugin fragmaster r.median dasdlist ace flash_otp_write osgreflect sfood snapperd ConvertTraMLToTSV vbfilter getdate