From abf025c8eaf3a3634ee8c38fe49920d761e28e8a Mon Sep 17 00:00:00 2001
From: sorki <srk@48.io>
Date: Sun, 28 Jul 2024 15:51:13 +0200
Subject: [PATCH] overlay: dependent-sum-template_0_2_0_1 + jailbreak

---
 overlay.nix | 11 +++++------
 1 file changed, 5 insertions(+), 6 deletions(-)

diff --git a/overlay.nix b/overlay.nix
index cc10b53b..e19b142d 100644
--- a/overlay.nix
+++ b/overlay.nix
@@ -15,12 +15,11 @@ let
       } // (lib.filterAttrs (n: v: n != "url") x));
 in
 {
-  # srk 2023-12-06: until in unstable
-  dependent-sum-template = hself.callHackageDirect
-    { pkg = "dependent-sum-template";
-      ver = "0.2.0.1";
-      sha256 = "sha256-quwgFuEBrK96JZenJZcyfk/O0Gp+ukwKEpe1hMqDbIg=";
-    } {};
+  # srk 2024-07-28: allow template-haskell 2.22 (GHC 9.8)
+  # https://github.com/obsidiansystems/dependent-sum-template/pull/13
+  dependent-sum-template =
+    haskellLib.doJailbreak
+      hsuper.dependent-sum-template_0_2_0_1;
 
   hnix-store-core =
     lib.pipe