Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

arduino bevalsim powerpc64-linux-gnu-ld.bfd bvi html2text ppmflash ppmmake ntfsmount readpix-z qmltestrunner assistant-qt4 mailstats xkbprint a56-keybld debugedit epmd v.net.flow ijsgutenprint ikisite iauth enemy.py otclsh propellor simulavr-vcd ssr-vbap.qt bulk.pl syrthes-pp atk6-smurf6 configinfo qvideoob