Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

aconnect m68k-linux-gnu-nm darkplaces-quake-glx m68k-linux-gnu-gcc latex2html MAKEDEV secon createdb ase-info pcreate qml-qt5 syslinux2ansi transmission-daemon netdevstat SocketServer make_das_conf gnuplot5-qt ivinfo kcometen4.kss ldapgid polarssl_cert_req sched-migration-record mppb qmqp-source hyc2 plot-entropy mf2pt1 tracker-search spm8_reslice ziproxy