Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

audacity eggdrop ipwatchd rstream geoiplookup_city mpitests-osu_reduce_scatter iproxy kill resize anomaly apparix cdcd cdck cvsd getfdprm oxygen-demo capsh mpicxx.mpich2 v7k_lsmplugin convert-ly slonik_drop_set sqitch lollipop tin sponsor-patch naddress virtualbricks qcineoob jessie xx-filter