Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dsktune amcheck objcopy m32r-linux-gnu-ranlib ceph_test_rados_api_watch_notify grdtrack h5repart xferfaxstats ng_stl cftp md5fa system-config-date tclsh repupgrade qalter-torque split-logfile cibsecret fai-monitor-gui urdf_to_graphiz pagesjaunes myvi sor perdition.managesieve vdb-validate.2.3.5 tarantar op-tkdesk vrrpd flatboob tv_grep hostgraphs.cgi