Revert change

2025-10-28 18:21:22 +01:00
parent a8967950c8
commit cd8deb7309
1 changed files with 1 additions and 1 deletions
@@ -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 { };