Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

admesh openvas-client pango-querymodules-64 pcl_ndt2d pcp-numastat flamegraph.pl gunicorn sslogger-slogd lcp_crtpollist httexi lzmore bp_composite_LD db5.3_dump translate_cmip3 debugfs ecaccess.bat ontogetsibs gmtset i686-w64-mingw32-gnatxref-win32 i.class Mono.TextEditor.dll dvdxchap jdb pmlogrewrite pvm pixeltool sam2p sawfish ttfautohint tester