after trying to Upgrade to RHEL 9.7 I noticed a dependency issue from one of my grommunio packages:
  - package python3-mattermostdriver-7.3.2-17.28.noarch from @System requires python3.9dist(websockets) >= 8, but none of the providers can be installed.

I was a bit puzzled, since I know I had python3-websockets installed.

I diffed the new RHEL 9.7 package vs. the old one, 
diff -u <(rpm -qp --provides python3-websockets-14.2-1.el9.x86_64.rpm) <(rpm -qp --provides python3-websockets-11.0.3-6.el9.x86_64.rpm)
— /dev/fd/63    2025-12-03 13:31:45.901677029 +0100
+++ /dev/fd/62    2025-12-03 13:31:45.902677017 +0100
@@ -1,6 +1,6 @@
-python-websockets = 14.2-1.el9
-python3-websockets = 14.2-1.el9
-python3-websockets(x86-64) = 14.2-1.el9
-python3.9-websockets = 14.2-1.el9
-python3.9dist(unknown) = 14.2
-python3dist(unknown) = 14.2
+python-websockets = 11.0.3-6.el9
+python3-websockets = 11.0.3-6.el9
+python3-websockets(x86-64) = 11.0.3-6.el9
+python3.9-websockets = 11.0.3-6.el9
+python3.9dist(websockets) = 11.0.3
+python3dist(websockets) = 11.0.3

and noticed that python3.9dist(websockets)  and python3dist(websockets) are not provided anymore but python3.9dist(unknown) and python3dist(unknown) .

Is this intentional?

I am asking, because for RHEL10 the corresponding package shows the old behaviour:

diff -u <(rpm -qp --provides python3-websockets-14.2-1.el9.x86_64.rpm) <(rpm -qp --provides python3-websockets-14.2-1.el10.aarch64.rpm)
— /dev/fd/63    2025-12-03 13:39:21.672844791 +0100
+++ /dev/fd/62    2025-12-03 13:39:21.672844791 +0100
@@ -1,6 +1,6 @@
-python-websockets = 14.2-1.el9
-python3-websockets = 14.2-1.el9
-python3-websockets(x86-64) = 14.2-1.el9
-python3.9-websockets = 14.2-1.el9
-python3.9dist(unknown) = 14.2
-python3dist(unknown) = 14.2
+python-websockets = 14.2-1.el10
+python3-websockets = 14.2-1.el10
+python3-websockets(aarch-64) = 14.2-1.el10
+python3.12-websockets = 14.2-1.el10
+python3.12dist(websockets) = 14.2
+python3dist(websockets) = 14.2

If this is a bug, please fix.