Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

mmldif-bin bam ld g_clustsize_d vmcore-dmesg mdb-header mmm_agentd java_count xfce4-keyboard-settings aevol_misc_extract mipsel-linux-gnu-size cdfwhereij expect_xkibitz pspolar grokevt-addlog get_root_domain idlc.bin lps2pbes sapserver oarnodesetting cdimage_resource decomment htseq-count messagingaccounts science-presentation atst-int32 prefetch.2.3.5 taggrepper qjadeo xorpsh