Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ld.bfd fatnew list_admins exiftool module_info rdiff-backup bg5latex wineconsole buthead clang-format dh_clideps colormake dma arm-none-eabi-g++ hmm2index jack-keyboard jvim kismet_capture odf2pod mate-file-share-properties mensis nagios3 nowhere osgdatabaserevisions parchive tntrancid rlprd svn-multi wpg2odg zenlisp