Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

autotest-local fastaFromBed btrfs-image esri2wkt.py psmeca htproxyinfo pngtopam procmail xmlpatternsvalidator-qt5 wannier_plot.x_openmpi readahead xmltest systool yaz-icu aemakeflic colprof h8300-hitachi-coff-nm objdump flmsg FreeCADCmd ladvdc lexer multimarkdown gdbdump minirok python2-gflags2man qemu-unicore32-static sqlline texdiff wmclock