Update request: pycrdt 0.8.24 (yanked) -> 0.8.31 or 0.9.0

[pacien]

pycrdt 0.8.24 (our current version on stable and unstable) has been yanked from pypi: https://pypi.org/project/pycrdt/#history

This is due to it being quite broken: jupyterlab/jupyter-collaboration#308

So it and its dependent packages (pycrdt-websocket) need a bump and probably a backport on stable as well.

However, the latest release of jupyter-collaboration might not support 0.9.0 yet, but 0.8.31 is probably fine.

---

• Package name: python3Packages.pycrdt
• Latest released version: 0.8.31 and 0.9.0
• Current version on the unstable channel: 0.8.24 yanked on pypi
• Current version on the stable/release channel: 0.8.24 yanked on pypi
• Checked the nixpkgs pull requests

---

Notify maintainers
Jupyter team: @GaetanLepage, @natsukium, @thomasjm

---

Note for maintainers: Please tag this issue in your PR.

---

Add a 👍 reaction to issues you find important.

[pacien]

Updates merged in:

• master: jupyter updates 2024-07-07 #325200
• 24.05: [24.05] python312Packages.pycrdt: 0.8.24 -> 0.8.31 #325382

Thanks!