From aec0a90d2fc567712c79d1bbb7f986469ce31a4e Mon Sep 17 00:00:00 2001
From: Gaetan Lepage <gaetan@glepage.com>
Date: Wed, 16 Oct 2024 15:44:14 +0200
Subject: [PATCH] python312Packages.pycrdt-websocket: 0.14.2 -> 0.15.1

Diff: https://github.com/jupyter-server/pycrdt-websocket/compare/refs/tags/v0.14.2...v0.15.1

Changelog: https://github.com/jupyter-server/pycrdt-websocket/blob/refs/tags/v0.15.1/CHANGELOG.md
---
 .../python-modules/pycrdt-websocket/default.nix            | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/pkgs/development/python-modules/pycrdt-websocket/default.nix b/pkgs/development/python-modules/pycrdt-websocket/default.nix
index 3d7d3d45a19e..008c72dd209f 100644
--- a/pkgs/development/python-modules/pycrdt-websocket/default.nix
+++ b/pkgs/development/python-modules/pycrdt-websocket/default.nix
@@ -1,7 +1,6 @@
 {
   lib,
   buildPythonPackage,
-  pythonOlder,
   fetchFromGitHub,
 
   # build-system
@@ -27,16 +26,14 @@
 
 buildPythonPackage rec {
   pname = "pycrdt-websocket";
-  version = "0.14.2";
+  version = "0.15.1";
   pyproject = true;
 
-  disabled = pythonOlder "3.8";
-
   src = fetchFromGitHub {
     owner = "jupyter-server";
     repo = "pycrdt-websocket";
     rev = "refs/tags/v${version}";
-    hash = "sha256-YsAeEUFxCwu7KA2d83J/rb1IlZTQZZecHJAewh+TqWs=";
+    hash = "sha256-O0GRk81at8bgv+/4au8A55dZK2A28+ghy3sitAAZQBI=";
   };
 
   build-system = [ hatchling ];