From 782c6bb3f50dd487a2a7df3987970ff6eaa88503 Mon Sep 17 00:00:00 2001 From: sternenseemann Date: Thu, 2 Oct 2025 17:04:35 +0200 Subject: [PATCH] agda2hs: remove obsolete override 0cdbd6c890d4d59704d0ff1cca4a934cf3994acc removed the warnAfterVersion, but neglected to remove the obsolete override. --- .../haskell-modules/configuration-common.nix | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 9ffdd060fc4c..3bdae5481620 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -3224,18 +3224,6 @@ with haskellLib; doJailbreak ]; - agda2hs = lib.pipe super.agda2hs [ - (overrideSrc rec { - version = "1.4"; - src = pkgs.fetchFromGitHub { - owner = "agda"; - repo = "agda2hs"; - rev = "v${version}"; - hash = "sha256-ZhemGUY6V0cplSwDAXkny+s6yQWKDDShTiUotIDhTXY="; - }; - }) - ]; - bsb-http-chunked = lib.pipe super.bsb-http-chunked [ (warnAfterVersion "0.0.0.4") # Last released in 2018