Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

catdoc euca-delete-customer-gateway ccomps h5pfc deltainfoxml2solv chktrust monodocs2slashdoc mysql-proxy phpcompatinfo arb_uniform_buffer_object-getintegeri_v glsl-kwin-blur-1 chardetect will_java_throw_remote viewalone sort freefoam-mshToFoam gourmet ibid jmac dawg11-status.pl mitmproxy ncdt pcf2bdf tomahawk-rsync qtm refdbnd gmtst starpkg taoparse gap