From 2fd518674dcedbe2be1e36bdb1cbcb88fbed3870 Mon Sep 17 00:00:00 2001
From: wrvsrx <wrvsrx@outlook.com>
Date: Thu, 2 Oct 2025 14:47:36 +0800
Subject: [PATCH] haskellPackages.agda2hs: 1.3-unstable-2025-07-25 -> 1.4

agda2hs has released 1.4, I think it's better to bump to a released
version
---
 pkgs/development/haskell-modules/configuration-common.nix | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix
index f801088db9ec..0886a68deaa4 100644
--- a/pkgs/development/haskell-modules/configuration-common.nix
+++ b/pkgs/development/haskell-modules/configuration-common.nix
@@ -2933,13 +2933,13 @@ with haskellLib;
   # agda2hs 1.3 is not compatible with Agda 2.8.0
   agda2hs = lib.pipe super.agda2hs [
     (warnAfterVersion "1.3")
-    (overrideSrc {
-      version = "1.3-unstable-2025-07-25";
+    (overrideSrc rec {
+      version = "1.4";
       src = pkgs.fetchFromGitHub {
         owner = "agda";
         repo = "agda2hs";
-        rev = "01cc0532b522f64223782617cbde1a6f21b8880e";
-        hash = "sha256-SXhnkZa8OmgpYRTb2IVTfebtX+GG5mkVcqKchl2Noic=";
+        rev = "v${version}";
+        hash = "sha256-ZhemGUY6V0cplSwDAXkny+s6yQWKDDShTiUotIDhTXY=";
       };
     })
   ];