amend: use warp 3.4.14 for 3522917

Use a release instead of a git commit
2026-07-11 13:12:03 -05:00
parent 490d1dc5d3
commit a71ab36096
4 changed files with 13 additions and 23 deletions
@@ -88,13 +88,12 @@ let

      warp =
        lib.dontCheck
-          (prev.callCabal2nixWithOptions "warp"
-            (super.fetchFromGitHub {
-              owner = "yesodweb";
-              repo = "wai";
-              rev = "ad041216b643f69a2a9c87cbf4c2988aa4633dd5";
-              sha256 = "sha256-Dl3wLrGl1HvkF9MqGdY4dzx4z6SlCSiFZgCgprd7Cjg=";
-            }) "--subpath=warp"
+          (prev.callHackageDirect
+            {
+              pkg = "warp";
+              ver = "3.4.14";
+              sha256 = "sha256-RnoOUlC6dOP0sK/tYAJCX1oLzVFG1GILUY+yVbmvW8Y=";
+            }
            { });
    };
 in