From cd8deb7309458c6d537ff200dd3d4d21f532a06d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carlos=20Tom=C3=A9=20Corti=C3=B1as?=
 <carlos.tome.cortinas@gmail.com>
Date: Sat, 18 Oct 2025 09:30:50 +0200
Subject: [PATCH] Revert change

---
 pkgs/top-level/agda-packages.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pkgs/top-level/agda-packages.nix b/pkgs/top-level/agda-packages.nix
index 4a000b4866d6..b9fab48170a6 100644
--- a/pkgs/top-level/agda-packages.nix
+++ b/pkgs/top-level/agda-packages.nix
@@ -27,7 +27,7 @@ let
 
       lib = lib.extend (final: prev: import ../build-support/agda/lib.nix { lib = prev; });
 
-      "${Agda.meta.mainProgram}" = withPackages [ ];
+      agda = withPackages [ ];
 
       standard-library = callPackage ../development/libraries/agda/standard-library { };