python312Packages.pycrdt-websocket 0.12.7 -> 0.13.0 https://github.com/jupyter-server/pycrdt-websocket/releases
attrpath: python312Packages.pycrdt-websocket
isn't the default python version