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