Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

euca-delete-vpn-gateway fontlint g_anaeig hitch hwloc-bind vbox ronn.js fbo-readpixels-depth-formats hiz-depth-stencil-test-fbo-d24-s8 mkudffs TestInstantiator lzdiff atfsit bossash kitpost ged2gwb idemo ivtext yahooquote ginsi mincdiff parser3 profbval __init__.py vb3kb h316 getABISampleName syrthes-gui tos-mote-key isnum