Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

refcounter dpkg-source umount.ecryptfs_private euare-groupgetpolicy euca-enable-vgw-route-propagation euca-reset-network-interface-attribute project r.clump gsisshd rdma_xclient i686-w64-mingw32-size isbmex dnsbulktest rabbitmqctl sipdialer travelccm cdrwtool WinList e2mv convert2osm xynagios hts_engine h2player jh_linkjars opj_jp3d_decompress mia-meshdistance-to-stackmask smfrec nepomukfilewatch avg_chromakey xorp_rip