Binary: agda

Debian packages that has this binary:

Package: agda-bin

/usr/bin/agda

Random binary cloud:

qhold-ge shptree medconforme gjh sctop-record plpa-info virtualenv dist.x_openmpi scotch_gmk_m2 wn aeson-pretty tkiptun-ng m68hc11-strings bisho turnadmin aspell-autobuildhash fotoxx atari-hd-image kinit.shared tracereplay Redirect mod-mono-server re-PCR settings1.txt xml2gv rails amk_ccc-int64 svn-autoreleasedeb teem-gprobe yapra