Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

c44 dtdiff hwloc-ls isol linux_logo i686-w64-mingw32-objcopy mpirun_dbg.ladebug prove.pir dvilj2p ctangle mkfs delete_disabled.inc bbdb-cid idl11.lut flvstreamer mkzftree gjay orca-dm-wrapper gst-device-monitor-1.0 miniscope atdcat logisim maptransfer-server pybabelfish rhnreg_ks hwlatdetect chpst toilet Xvnc4 xx-filter