Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aconnect cat uuserver nodeunit.json grpmorphan yum-arch arm-none-eabi-objcopy cdfcensus dateutils.strptime fcitx4-config gadmin-samba gapd viewgar condor_job_router_tool ldaptor-find-server ur pcl_openni_3d_convex_hull pegasus-statistics tomcat_test python3-config cofactors.txt shp_doctor test-sra.2 tracker-search tre-agrep esmerge kmview tonedebug yarac zita-resampler