Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

named switcher dirname omshell gdal_rasterize ps2fax.gs strip filterGTF.rb parrot_config ext_timer_query-lifetime tpm_unloadkey img2png mkdepgraph mkatfs powerpc64le-linux-gnu-strip UYVYtoYUV422 dh_haskell_shlibdeps fixtd ipconfig mipe08to09 nstk ossim-senint lsdev parallel-scp diff_tomo nib-nifti-dx make_tep.py settingshyper.txt sfood-copy esreverse