From f0324a4ff61f567a22581de64c43fb2a32911fa4 Mon Sep 17 00:00:00 2001
From: Mathew Polzin <matt.polzin@gmail.com>
Date: Sat, 27 Dec 2025 21:38:21 -0600
Subject: [PATCH] idris2Packages.pack: 2025-11-06 -> 2025-12-27

Update pack to get a fix for an issue that affected Nix installs. The
issue is described by- and fixed by the following PR against the pack
project: https://github.com/stefan-hoeck/idris2-pack/pull/372
---
 pkgs/development/compilers/idris2/pack.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/development/compilers/idris2/pack.nix b/pkgs/development/compilers/idris2/pack.nix
index ed89dd30d7a3..5289b6a817e7 100644
--- a/pkgs/development/compilers/idris2/pack.nix
+++ b/pkgs/development/compilers/idris2/pack.nix
@@ -169,12 +169,12 @@ let
 
   packPkg = buildIdris {
     ipkgName = "pack";
-    version = "2025-11-06";
+    version = "2025-12-27";
     src = fetchFromGitHub {
       owner = "stefan-hoeck";
       repo = "idris2-pack";
-      rev = "37787fa16550ef761d3242bf8ccb8ab672d9f2d1";
-      hash = "sha256-pvunaZSXj5Ee0utBFZfagxRKFuoSBxeU0IN7VTc56rY=";
+      rev = "cd512a0bf61a6effacc24060bb04106a849df0fe";
+      hash = "sha256-309k3ALAnCno8C09Fy7zz/oiSCzKI2ZbH5WFn6QIwF0=";
     };
     idrisLibraries = [
       idris2Api