Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

fvstereodecoder v.net.salesman textfmt mobj_dump metasys nypatchy-gfortran pawX11.dynamic-gfortran oLschema2ldif smp_phy_test source-highlight synthcal btreannounce.bittornado embossdata foo-yc20 gcap x86_64-linux-gnu-gcc-ranlib-4.8 keytool po2txt gnome-specimen gooffice hdav lxsession-default-apps i586-mingw32msvc-windres nfoview pmlogger_check lrelease sdpa CompNovo povray xotclsh