From 1edff9d8aeadeacabc5a446b4486a0bad443c9ac Mon Sep 17 00:00:00 2001
From: Rasheeq Azad <rasheeqhere@gmail.com>
Date: Thu, 27 Nov 2025 09:00:28 -0500
Subject: [PATCH] build-support/agda: Keep passthru in mkDerivation

---
 pkgs/build-support/agda/default.nix | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index 72e1d8dbd124..fa7c7ff9fea6 100644
--- a/pkgs/build-support/agda/default.nix
+++ b/pkgs/build-support/agda/default.nix
@@ -94,6 +94,7 @@ let
     {
       pname,
       meta,
+      passthru ? { },
       buildInputs ? [ ],
       libraryName ? pname,
       libraryFile ? "${libraryName}.agda-lib",
@@ -145,9 +146,13 @@ let
       meta = if meta.broken or false then meta // { hydraPlatforms = platforms.none; } else meta;
 
       # Retrieve all packages from the finished package set that have the current package as a dependency and build them
-      passthru.tests = filterAttrs (
-        name: pkg: self.lib.isUnbrokenAgdaPackage pkg && elem pname (map (pkg: pkg.pname) pkg.buildInputs)
-      ) self;
+      passthru = passthru // {
+        tests =
+          passthru.tests or { }
+          // filterAttrs (
+            name: pkg: self.lib.isUnbrokenAgdaPackage pkg && elem pname (map (pkg: pkg.pname) pkg.buildInputs)
+          ) self;
+      };
     };
 in
 {