Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ApbsClient.py dpkg-divert gvfs-mkdir gzexe oggz-sort mpitests-osu_get_latency openslide-show-properties dbfilestripcomments scotch_gmk_hy scotch_gscat msp430-ld clang-check mailtool update-hostname-from-ip dyn_erl fmtree cgps tpserv gl.pl xpstops njb-files miraconvert nuitka-run bg.png rendercheck_test polygraph-polyprobe map-services rat-media sml xjdicconfig