Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

clc-unregister-user-package gpsim stnmap g.gui h5dump export.pyc zlib1.dll mount.9P lacheck xvile bind9-config dh_aspell-simple check_drbl_setup_space idl14.lut gnunet-download inotify-hookable iptables-apply picoproj PTmender marble-touch pcp_pool_status dnamlk camera_test pwauth screenie rabema_prepare_sam shunit2 ch_track tycat troff2text