From d6ddb7273a8df9888d6004f43628c65de4acd93d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Na=C3=AFm=20Camille=20Favier?= Date: Sat, 26 Jul 2025 22:37:52 +0200 Subject: [PATCH] haskellPackages.agda2hs: fix build with Agda 2.8.0 Co-authored-by: sternenseemann --- .../haskell-modules/configuration-common.nix | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 9f076876ae7b2..4d345073e5b28 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/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