Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

amdump automake-1.5 freewrl_snd gvfs-cat rmdtovbox dc1394_ladybug graphc operf pgadmin3 zts-phpize pv generic_count todocli Arrays nrsdrv bp_flanks cdfzonalsum daa2iso fastx_artifacts_filter mineBugHistory glance-api v.kernel njb-dumptime mkc_check_sizeof main.py ts2pes sfv-hash svlogd shellinaboxd yaskkserv_normal