Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

strip dpm-reservespace euform-validate-template g.mkfontcap httping ykparse lynis mpireconfig.dat point-line-no-cull ppl_lcdd smbtorture silent encfsctl erlexec ewfmount make_exon.pl gnupod_convert_RIFF Help_fr.jar picoproj bam2bedgraph setpdfbackground macs2diff mafft-profile owx-check plm elogin nwsclient.py finger@ winswitch_stdio_socket xjdrad