Binary: agda

archivemount strip ekiga-config-tool msntest sndfile-convert x86_64-w64-mingw32-readelf pstopnm protoc-c wine32 xrdadler32 as check_postgres_backends deluge-web dot-forward embossupdate frogr x86_64-linux-gnu-gccgo-4.8 gmk_sym gotmail icalfilter llvm-diff masterha_master_monitor network_reconnect_resume_test polygraph-pgl-test bib2ris-utf8 sauceadmin sb2-monitor simulpic backup xmlformat