diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix
index cb6059e00cd..a137704a30c 100644
--- a/pkgs/build-support/agda/default.nix
+++ b/pkgs/build-support/agda/default.nix
@@ -70,7 +70,6 @@ in
         # configurePhase is idempotent
         configurePhase = ''
           eval "$preConfigure"
-          export AGDA_PACKAGE_PATH=${self.AGDA_PACKAGE_PATH};
           export PATH="${self.agdaWrapper}/bin:$PATH"
           eval "$postConfigure"
         '';