Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

avr-ranlib objdump cpio curlftpfs kmk_cat nfs_cache_getent certutil arb_texture_buffer_object-minmax vxi11-cli-2.6 ph.x_openmpi imp2vs db2bak-online apop_text_to_db conduit-client mk_vtsm_info gsymfix dh_germinate_metapackage kgb-add-project LeakCheck vips mia-3dfuzzysegment mountpy.py aafigure vax780 simpleburn-gauges.sh logcleaner.php asplash olsr_print_databases xteld zimpl