Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

apbs-uhbd_asc2bin gnatbind gfal-ls d.geodesic hp_testOrthogonalSkyMap dehtmldiff arb_sync-timeout-zero fbo-incomplete-texture-01 pcp_proc_count ptrash pyxbwsdl scorep-score tcpbridge qrls-torque wavpack dmxaddscreen score_conservation arbitronsort debc dctable YUV422ItoYUV420I embossdata clxdo moap olwm cppw getfilecon pop_auth texfot xfe