Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

dpkg-divert dpm-ping eric4-editor eric4-tray euca-create-keypair gnobots2 g_tpbconv ondelay lskat lrzip night_dark php-config glx-oml-sync-control-getmscrate htcontext winebuild a2dismod congruity roffpp treefile cdbmake gfan_minkowskisum gtkmorph maidag ltsview encode64.pl openvrml-player pkinfo qtpaths stg-gitk tsnd