diff --git a/tools/utils.py b/tools/utils.py index 690c6fce425..410ebbb6f5b 100644 --- a/tools/utils.py +++ b/tools/utils.py @@ -114,3 +114,6 @@ class Version(packaging.version.Version): if not isinstance(other, self.__class__): other = self.__class__(other) return super().__ne__(other) + + def __hash__(self): + return hash(str(self))