agda2hs: remove obsolete override

0cdbd6c890 removed the warnAfterVersion, but neglected to remove the obsolete override.
2025-10-02 17:04:35 +02:00
parent 0cdbd6c890
commit 782c6bb3f5
1 changed files with 0 additions and 12 deletions
@@ -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