From a8967950c8d9cd63fea779afea73a9015988cca4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carlos=20Tom=C3=A9=20Corti=C3=B1as?=
 <carlos.tome.cortinas@gmail.com>
Date: Fri, 17 Oct 2025 17:13:12 +0200
Subject: [PATCH] Remove agda-mode from executables

---
 pkgs/build-support/agda/default.nix | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index 1ae5ed706d48..e82f2a2d475c 100644
--- a/pkgs/build-support/agda/default.nix
+++ b/pkgs/build-support/agda/default.nix
@@ -71,7 +71,6 @@ let
         makeWrapper ${lib.getExe Agda} $out/bin/${Agda.meta.mainProgram} \
           ${lib.optionalString (ghc != null) ''--add-flags "--with-compiler=${ghc}/bin/ghc"''} \
           --add-flags "--library-file=${libraryFile}"
-        ln -s ${lib.getExe' Agda "agda-mode"} $out/bin/agda-mode
       '';
 
   withPackages = arg: if isAttrs arg then withPackages' arg else withPackages' { pkgs = arg; };