Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cube3to4 darkplaces-dedicated euca-reset-network-interface-attribute fbsvcmgr gfal-mkdir autogsdoc kmk_ln python-mpi nxauth pmlogrewrite arb_explicit_uniform_location-inactive-uniform ext_framebuffer_multisample-multisample-blit irunner rpmdev-rmdevelrpms vrm backintime-kde4 dcmmkdir gfan_mixedvolume ace cpan-upload kf-slam muse-song-convert i686-w64-mingw32-ocamlc partclone.dd keyboard_test dgscat-int32 ir.pl ITRAQAnalyzer doc2pdf active_interactor