From db203fff5ecbcb528c03770ce0bfde09749df1e3 Mon Sep 17 00:00:00 2001
From: ryota2357 <noreply@ryota2357.com>
Date: Sun, 27 Jul 2025 16:03:00 +0900
Subject: [PATCH] koka: 3.1.2 -> 3.2.2

---
 pkgs/development/compilers/koka/default.nix | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/pkgs/development/compilers/koka/default.nix b/pkgs/development/compilers/koka/default.nix
index 67f3f931025f..b64b7f03bb60 100644
--- a/pkgs/development/compilers/koka/default.nix
+++ b/pkgs/development/compilers/koka/default.nix
@@ -20,7 +20,7 @@
   FloatingHex,
   isocline,
   lens,
-  lsp_2_4_0_0,
+  lsp,
   mtl,
   network,
   network-simple,
@@ -32,12 +32,12 @@
 }:
 
 let
-  version = "3.1.2";
+  version = "3.2.2";
   src = fetchFromGitHub {
     owner = "koka-lang";
     repo = "koka";
     rev = "v${version}";
-    hash = "sha256-BNkMtYf5maWtKEZzob+218ke1SIkrP7/nboQ2sZKkxI=";
+    hash = "sha256-k1N085NoAlxewAhg5UDMo7IUf2A6gCTc9k5MWMbU0d0=";
     fetchSubmodules = true;
   };
   kklib = stdenv.mkDerivation {
@@ -81,7 +81,7 @@ mkDerivation rec {
     FloatingHex
     isocline
     lens
-    lsp_2_4_0_0
+    lsp
     mtl
     network
     network-simple