Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

ekiga-config-tool euca-allocate-address gnatkr g.rename kmk_ln ldns-nsec3-hash fax2ps clog2TOslog2 ppmhist arb_sample_shading-builtin-gl-sample-id qmake-qt5 redir 2csv cgdelete encode64.pl javac gfan_fanlink v.out.dxf greylist mrcat netplan onak osgkeystone password-gorilla frequency_governors_test qemu-system-xtensaeb rabbit fls dh_installtex wcap-decode