Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

as objcopy euare-userdelpolicy gperf qsub g_densorder zfgrep kswitch iscsiuio neso streaming_paraview generate-patches.pl a2ps-lpr-wrapper strip cdficediags clementine-tagreader dictdconfig filter folks-import icinga2 ifstat makepp_build_cache_control ml-yacc.x86-linux filter_tracks ofonod pmnewlog se_apt-get pristine-gz ssr smd-client