Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

whisper-aggregate fs_mark i.cluster kwrite ldapdiff nytidy sitepods razor-check scorep spacecmd wine64 rmedigicontrol objcopy clang hbal gnomint-upgrade-db mktunes grokevt-ripdll pbmtojbg85 idevicebackup2 llvm-size ltsp-remoteapps run-mailcap MonoDevelop.Projects.Formats.MSBuild.exe musixtex nufw parchive sdfget hexkinya zshdb