diff --git a/www/py-html5rdf/files/patch-setup.py b/www/py-html5rdf/files/patch-setup.py new file mode 100644 index 000000000000..dba4b5f3d246 --- /dev/null +++ b/www/py-html5rdf/files/patch-setup.py @@ -0,0 +1,16 @@ +Obtained from: https://github.com/RDFLib/html5rdf/commit/3b49bab9e4ca79e54d37f47711f558b525eb2db3 + https://github.com/RDFLib/html5rdf/commit/eb0fbab7ba6b7b855c150c3fe42633d860f629c1 + +--- setup.py.orig 2024-10-23 11:21:43 UTC ++++ setup.py +@@ -87,8 +87,8 @@ with open(join(here, "html5rdf", "__init__.py"), "rb") + if (len(a.targets) == 1 and + isinstance(a.targets[0], ast.Name) and + a.targets[0].id == "__version__" and +- isinstance(a.value, ast.Str)): +- version = a.value.s ++ isinstance(a.value, ast.Constant)): ++ version = a.value.value + + setup(name='html5rdf', + version=version,