Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

h8300-linux-gnu-size mkfs.vfat erl.src hltest rsvg-view mk_cmds mpic++ greenbone-nvt-sync pdf270 tcpdump_to_db spectra_manipulation.x_mpich pmw.x_openmpi raideng sdcc-sdnm toobig6 0install audacious rose_call bluemon-client optirun ebncheck hoz ltpclock jbofihe josm latexdiff-fast mpg123.bin whups-bugzilla-import gnatpython-rlimit xjdic_sa