haskellPackages.agda2hs: fix build with Agda 2.8.0

Co-authored-by: sternenseemann <sternenseemann@systemli.org>

Author: ncfavier

pkgs/development/haskell-modules/configuration-common.nix

@@ -2953,6 +2953,20 @@ with haskellLib;
   # https://github.com/snoyberg/http-client/pull/563
   http-client-tls = doJailbreak super.http-client-tls;
 
+  # 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";
+      src = pkgs.fetchFromGitHub {
+        owner = "agda";
+        repo = "agda2hs";
+        rev = "01cc0532b522f64223782617cbde1a6f21b8880e";
+        hash = "sha256-SXhnkZa8OmgpYRTb2IVTfebtX+GG5mkVcqKchl2Noic=";
+      };
+    })
+  ];
+
   bsb-http-chunked = lib.pipe super.bsb-http-chunked [
     (warnAfterVersion "0.0.0.4")
     # Last released in 2018