From 2053ef9822ad4bd4ebb1879ae72bc25943fb5b8e Mon Sep 17 00:00:00 2001
From: sternenseemann <sternenseemann@systemli.org>
Date: Mon, 6 Oct 2025 15:01:59 +0200
Subject: [PATCH] agdaPackages.agda2hs-base: don't hard code agda2hs source
 name

fetchFromGitHub always results in "source" as sourceRoot, but this is
not true when e.g. using the Hackage tarball.
---
 pkgs/development/libraries/agda/agda2hs-base/default.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/libraries/agda/agda2hs-base/default.nix b/pkgs/development/libraries/agda/agda2hs-base/default.nix
index 97a3b6de4809..eb034878a51d 100644
--- a/pkgs/development/libraries/agda/agda2hs-base/default.nix
+++ b/pkgs/development/libraries/agda/agda2hs-base/default.nix
@@ -9,7 +9,9 @@ mkDerivation {
 
   inherit (haskellPackages.agda2hs) src version;
 
-  sourceRoot = "source/lib/base";
+  postUnpack = ''
+    sourceRoot="$sourceRoot/lib/base"
+  '';
 
   libraryFile = "base.agda-lib";