Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

byobu-layout uwmdump h5repart MagickWand-config sminfo mpicxx ng_vol vppreproc Rdconv sevmgr_demo fake_dnsupdate6 udunits chsh img2py apertium-rexlsx hypertex dbxresource purge_old_entries.pl bond2team mia-2dsegment-ahmed tap-http.js latop sec2ts nosetests-2.7 python2.7-pyrexc quasselclient RTEvaluation isosize vite text2pcap