Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ldap-agent-bin aarch64-linux-gnu-readelf nm score-linux-gnu-addr2line x86_64-linux-gnu-as cmake-gui cracker gfs2_convert rgb2gif guilt-guard opgprof nyindex-g77 stop ykval-import conjunct cdfhflx ucsc_genes2gff.pl makedist set-default-pxe-img ebhttpd glam2format r3.out.vtk sendsys.pl jsadebugd prelude-correlator make_otu_table.py tercpp wmifinfo wnb testdbfawk