Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

objcopy dijkstra g_anaeig jstar kadmin snmptranslate tabdelim_to_db perl.prov.files pure-ftpwho average.x_openmpi will_oops yadifad apertium-tagger axgetput c-index-test cyr_df gupnp-upload kteatime ndpiReader ReactiveNav3D-Demo fmttest pt-heartbeat wlock TraCITestClient tesd TrimmomaticPE gap.sh xapm xenstore-ls xymond_rrd