When comparing OS to see if they match for binary cache, we only compare the lower case distribution name because sometimes "Debian' is capitalized and sometimes not.
When comparing OS to see if they match for binary cache, we only compare the lower case distribution name because sometimes "Debian' is capitalized and sometimes not.