Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cacademo carbon-path euca-create-customer-gateway mips64-linux-gnu-gcc r.out.bin kbreakout wpd2text mdb-header mpitests-osu_barrier night_keylist novacomd ib_write_lat rpmduplicates makempx asranlib gmod_bulk_load_gff3.pl orderchr unexpunge ffado-test-isorecv freefoam-patchIntegrate freefoam-surfaceMeshConvertTesting msp430-run DashCast sm2file jack-udp lazygal vipsthumbnail avg_showfont tntrancid super