Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ceph-brag map-services daily_cleanup.py cris-linux-gnu-cpp gtkdocize dumpiso snmptrapd spam pcp-shping dbcol pkexec btlaunchmanycurses.bittornado ae2dnaml flvstreamer gbs3 ikiwiki-hosting-web-daily jetring-signindex polarssl_dh_genprime me-tv nnbatch tilelive-copy rc-depend osgstereomatch pages2odt queue-repair Rserve ssplash tauf90 trueprint wzip