Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

hppa64-linux-gnu-as sparc64-linux-gnu-addr2line ptx dmevent_tool euscale-describe-adjustment-types mergelib krenew smilint instmodsh nnslog implementation6d qenable yum-config-manager airspy_rx dwi_mask_bad_slices dh_python3 fcrackzip gr_filter_design edit-faxcover nepomukindexer netselect lsb2rcconf pt-fifo-split profnet_norsnet align_seqs.py ripperX_plugin_tester sogo-backup ps.pl extract++ verilator_includer