Binary: agda

mk-amd-map nm mn10300-linux-gnu-ar byobu-screen cppcheck buildrealms v.parallel findproxyfile mtn-cleanup ncftpls gl-1.0-long-dlist gl-2.1-minmax wbemgc viewvc-mp.py xpaaccess xrd verify-db textsearch unknown g3data gnt-backup gnupod_convert_APE pbmtoimgv lamhalt sdl2-config pcv zope-testrunner3 is.pl mkvsydvf xen-python-path