Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

condor_reschedule cube_regioninfo hpsa_lsmplugin mpitests-osu_gatherv mkmanifest nebulaclient yshift-g77 pcl_pcd_grabber_viewer python2.6-preprocess lamson qml2puppet valac lp dynalogind figtoipe sim2trad x86_64-linux-gnu-gfortran-4.8 gst-sunit loimpress zypp-CheckAccessDeleted locate.findutils pcp_promote_node foo2oak genotypes2m.txt.gz screenfetch storeBackupCheckBackup localectl snefru uwsgi_router_access we