Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

euca-deregister jasmine-node nfs4_getfacl pmlogger catkin init xrd astcanary ceph_rgw_jsonparser emem fprint_demo freehdl-v2cc gfan_tropicalstartingcone git-merge-changelog grsync hdup findcontact exifautotran lpsconfcheck minctoraw mobile-atlas-creator osgbillboard po2debconf poeditor pykdeuic4-2.7 bamg2geo roarphone runsnake vdb-config.2 xwiishow