Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ranlib fvbb2info wrjpgcom libminizip-1.dll mip6d openbox-kde-session vacuumdb ssmtp findmnt wslget h8300-hitachi-coff-ld ld discus hatariui hime-message llvm-config mk_fol_names mia-2dsegshift ReactiveNav3D-Demo perlpanel-run-dialog s9advgen shncat snd systemd-tmpfiles wordlist2dawg vlna catalina.sh setclasspath.sh xbmc-j2meremote xencov