Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aoe-discover ar ranlib clang b2m jfs_tune mk-table-sync list_members pilot-addresses postgres geod qtdemo-qt4 mksmbpasswd.sh indexcon i586-linux-gnu-objcopy calypso ocs-live-restore cvs-debi eliomcp convert_sym chem js24 odffindbasic ntfs-config esd python2-jsonpatch scotch_gmap-int64 rlatex shnhash wfuse