Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

h8300-linux-gnu-as GenFw h5ls akonadiconsole kup list_owners omnicpp pmlc netdev-times-report fcc-blit-between-clears generate_rVV10_kernel_table.x_mpich spectra_manipulation.x env.sh randomlinks dkopp drc gfserver POFileGlossary g.proj grub-floppy icombine tracediff testMPEG1or2ProgramToTransportStream nph-genericinterface.pl dgord pygopherd taurustrend2d nrancid spatialite_osm_raw fsrefs