Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ceph_test_rados_api_c_read_operations fence_bladecenter scheme-r4rs ip6tables-1.4.7 plutil paps fixfiles repoview restorefont pdbtool ceph_test_timers cyclograph dbus-launch ainsl gij i.cca cfdptest fgconsole npth-config izcoordinator lsof OgreXMLConverter index.pl whups-svn-hook-conf.php.dist pmxab pybliotext ncg who@ vstream-client xmotd