Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

cupsreject qsh rigmem hdhomerun_config tc open wtpt openpgp2spki jscoverage prove.php shutdown winecpp home_bbs astribank_tool needle freefoam-Xi git-import-orig gmerlin_visualizer lpf metapixel amd64-mingw32msvc-addr2line genpeimg mpb-mpi nec2 pmlogconf-setup po_catref sentinella tree_recon tpm_nvwrite WrapperFactory