Binary: agda

microblaze-linux-gnu-c++filt sh-linux-gnu-as heart defaults krb5-auth-dialog nl-classid-lookup newlist mlpack_gmm slog2print jk-rotate serviceconf virt_mail-vt x2goprint xfterm4 repomanage ctdb_persistent diodmount grmic-4.9 originator gupnp-network-light hpanel lessecho osgarchive pydoc3 loofah-query xrancid mime-tool whiff insplot_about wmf