Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

euare-roleupdateassumepolicy getent mkfs.jfs mdump2 i686-w64-mingw32-pkg-config munge mpirun.args omnicpp oparchive pam_console_apply ext_framebuffer_multisample-draw-buffers-alpha-to-coverage molecularpdos.x gendiff smp_rep_phy_err_log nm ocs-functions create_compressed_fs env.fakechroot freefoam-multiphaseInter haserl marc2dc obexget isofilter0 rt-email-dashboards-4 rmsgcat sbuild-unhold ttf2ufm_x2gs ttyload vtag yafc