Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

gamt ranlib db2dvi weather gcps2vec.py hsc2hs-ghc gl-admin-push mgd77togmt r.regression.line rcopenwsmand draw-instanced fqha.x_openmpi shigofumi vhd-util cairo-perf-chart envdir update-profile-cache mpgprobe ecaccess-certificate-list.bat domainreso v.outlier Xtract actived las2las lldb-mi-3.5 nuttcp openpgp-tool initdb lunch imsmooth