Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

byobu-ctrl-a cube_exclusify hwloc-assembler-remote ksmserver targetd_lsmplugin ppmwheel lesscpy qpid-cluster-store viewvc-mp.py ykksm-checksum remove-ds m68hc12-nm pjrec dma flrig fsmove gift-add-collection.pl kmetronome nopaste dbsessmgr2 neutron-usage-audit nvramtool afsd parallel_alpha_diversity.py gpgwrap OpenSwathRTNormalizer SpecLibSearcher qcineoob checkmol xmldiff