Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

byzanz-record md5sum ldns-notify i686-w64-mingw32-objdump mpdcheck.py mysql-zrm-manage-backup snmpwalk crm_master git-bloom-config qdbusxml2cpp cp.x_openmpi rarian-sk-rebuild statserial pdfcrop transmission-edit luksformat dhis-genkeys hlins hot indi_simulator_telescope kino2raw gmail-imap-label mia-2davgmasked osgpagedlod gendist reindexdb snmpttconvertmib ttfautohintGUI vbscoregen shortpath