From e1b367f0fbad03c2bf9d83795a9f26170d2fd8a4 Mon Sep 17 00:00:00 2001
From: Justin Restivo <justin@restivo.me>
Date: Mon, 15 Dec 2025 22:29:38 -0500
Subject: [PATCH] agdaPackages.agda-categories: fix hash mismatch error

---
 pkgs/development/libraries/agda/agda-categories/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/development/libraries/agda/agda-categories/default.nix b/pkgs/development/libraries/agda/agda-categories/default.nix
index 1cfbb905dfed..10aa4397d634 100644
--- a/pkgs/development/libraries/agda/agda-categories/default.nix
+++ b/pkgs/development/libraries/agda/agda-categories/default.nix
@@ -13,7 +13,7 @@ mkDerivation rec {
     owner = "agda";
     repo = "agda-categories";
     rev = "v${version}";
-    sha256 = "sha256-zPh6RFnky4KsnQx5Y/3FeYZ/jWK+hqJGNyCjEFPPHWQ=";
+    sha256 = "sha256-/3e8CkaTr0bUBgzhjAvu2RV6y0gk77VRA4PE6vutKPc=";
   };
 
   postPatch = ''