Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aoe-version avr32-linux-gnu-objdump srmv2.2 VfrCompile xml_from_edoc.escript r.li.patchnum mpitests-osu_allreduce filebucket vmmouse_detect axel-kapt check_postgres_txn_time ocs-sr pjrec db5.1_verify drbl-netinstall ecaccess-queue-list.bat gpiv_piv2grid king mdk2solv noroff tsmask plpftp prodigal fix_arb_fasta.py rxvt-unicode unattended-upgrades unidup vbim ndsend xrlogin