Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ld sparc64-linux-gnu-addr2line bltk_wl_office emi-canl-client chkrootkit kstartupconfig4 kdesvn mpitests-osu_scatterv link-mismatch-layout-03 bundle_ruby seamonkey Cone3 9bind bibledit-git x86_64-linux-gnu-dwp z80-unknown-coff-gprof correct_dwi_distortion_and_motion freefoam-sonicDyM fvwm-crystal.apps ri puic4 zypp-CheckAccessDeleted LuserNET ext2spice mdtool.exe netrik osgcomputeshaders pkfilter presage_dbus_service tegaki-render