From 4c64e800a39f1aef6128b6b3d255a2d5fdc80735 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carlos=20Tom=C3=A9=20Corti=C3=B1as?=
 <carlos.tome.cortinas@gmail.com>
Date: Thu, 23 Oct 2025 09:43:22 +0200
Subject: [PATCH] Update pkgs/build-support/agda/default.nix

Co-authored-by: Philip Taron <philip.taron@gmail.com>
---
 pkgs/build-support/agda/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index e82f2a2d475c..b1036c968daf 100644
--- a/pkgs/build-support/agda/default.nix
+++ b/pkgs/build-support/agda/default.nix
@@ -45,7 +45,7 @@ let
     }:
     let
       libraryFile = mkLibraryFile pkgs;
-      pname = "${Agda.meta.mainProgram}" + "WithPackages";
+      pname = "${Agda.meta.mainProgram}WithPackages";
       version = Agda.version;
     in
     runCommand "${pname}-${version}"