Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aclocal-1.5 condor_advertise freealut-config gnome-session-save v.surf.bspline mapiprofile openvas-mkrand xmlpatternsvalidator smbldap-userdel tm_feynmf tm_shell query.wsgi xa mtt packetforge-ng bzip2recover svok dnetd ecaccess-queue-list groovyConsole xpidlyacc.py ldaptor-ldap2dhcpconf makedep.pl nfc-emulate-forum-tag4 mldemos pagsh.openafs VerificationSOPClassSCU Rserve.dbg sc_wartsdump shorewall