Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

btrfs-show condor_kbdd g_clustsize imsettings-start kmdr-executor pcp_node_info powertop pk2bm po2csv raseq mips-linux-gnu-nm cassiopeeknife cfrun check_postgres_fsm_pages kermit-sshsub courierpassd gpm-microtouch-setup hime-tsd2a32 deghosting_mask bsscounter llvm-tblgen frm.mailutils mpmv watchdog rlfe rocs dynect.rb dfg2dfg MRMMapper xwax