Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aespipe ceph-debugpack gnome-about-me db.select otflist mpitests-osu_get_bw leaftoppm sar2pcp pmdate sc horde-clear-cache srp_daemon.sh viewvc.fcgi update-xscreensaver-hacks clang fixjsstyle runrc.cmd redata weights_categories fasttreeMP gextractwinicons gobby-0.5 podofocolor macstream mia-3dsegment-ahmed pythoncad relion_maingui runsnakemem macro1 tkdesk