From 1df3c7cb48b52d2ef7a2e92827d609ff92a429a8 Mon Sep 17 00:00:00 2001
From: wrvsrx <wrvsrx@outlook.com>
Date: Thu, 2 Oct 2025 14:42:49 +0800
Subject: [PATCH] agda.withPackages: add libraryFile to passthru

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

diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index aeb214727ef6..b8645053b6e9 100644
--- a/pkgs/build-support/agda/default.nix
+++ b/pkgs/build-support/agda/default.nix
@@ -44,7 +44,7 @@ let
       ghc ? ghcWithPackages (p: with p; [ ieee754 ]),
     }:
     let
-      library-file = mkLibraryFile pkgs;
+      libraryFile = mkLibraryFile pkgs;
       pname = "agdaWithPackages";
       version = Agda.version;
     in
@@ -54,7 +54,10 @@ let
         nativeBuildInputs = [ makeWrapper ];
         passthru = {
           unwrapped = Agda;
-          inherit withPackages;
+          inherit
+            withPackages
+            libraryFile
+            ;
           tests = {
             inherit (nixosTests) agda;
             allPackages = withPackages (filter self.lib.isUnbrokenAgdaPackage (attrValues self));
@@ -67,7 +70,7 @@ let
         mkdir -p $out/bin
         makeWrapper ${lib.getExe Agda} $out/bin/agda \
           ${lib.optionalString (ghc != null) ''--add-flags "--with-compiler=${ghc}/bin/ghc"''} \
-          --add-flags "--library-file=${library-file}"
+          --add-flags "--library-file=${libraryFile}"
         ln -s ${lib.getExe' Agda "agda-mode"} $out/bin/agda-mode
       '';