0001-Explicitly_set_pool_DISTTYPE_RPM-fixes-726.patch
