Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

monmaptool fb_smp_server flamerobin glite-proxy-renew qmake isync mpitests-osu_put_bibw powwow-movie2ascii qmlplugindump-qt5 masktest tpm_getpubek cross-gcc-gensource dh_installppp eric5_iconeditor dialyzer smooth.lut ifpc-2.6.4 freefoam-removeFaces i kumostat lxrandr nescc oroborus audio_test fabio_viewer weboob-cli rabbitmq-plugins skksearch texifysql tinywm