Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

brltty nqs_submit.sh dialyzer ssl_esock fedfs-lookup-replication x86_64-linux-gnu-gcov knotify4 arb_texture_view-texture-immutable-levels pyuic4 relevation implementation6 wmlflip alureplay runantlr col6 dirdiff drbl-client-reautologin eliomdoc fastaq_split_by_base_count ppufiles-2.6.4 cwnnstat zcat ktremotetest dtddiff2html jetpipe nbdswapd dh_sameversiondep serdi showq FeatureLinkerUnlabeledQT