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 { };