diff --git a/pkgs/development/compilers/agda/stdlib-2.4.0.nix b/pkgs/development/compilers/agda/stdlib-0.8.nix
similarity index 70%
rename from pkgs/development/compilers/agda/stdlib-2.4.0.nix
rename to pkgs/development/compilers/agda/stdlib-0.8.nix
index faa55d379b1d..d3b848d73b51 100644
--- a/pkgs/development/compilers/agda/stdlib-2.4.0.nix
+++ b/pkgs/development/compilers/agda/stdlib-0.8.nix
@@ -1,12 +1,12 @@
 { cabal, fetchurl, filemanip, Agda }:
 
-cabal.mkDerivation (self: {
-  pname = "Agda-lib-ffi";
-  version = "2.4.0";
+cabal.mkDerivation (self: rec {
+  pname = "Agda-stdlib";
+  version = "0.8";
 
   src = fetchurl {
-    url = "https://github.com/agda/agda-stdlib/archive/v2.4.0.tar.gz";
-    sha256 = "1rz0jrkm1b8d8aj9hbj3yl2k219c57r0cizfx98qqf1b9mwixzbf";
+    url = "https://github.com/agda/agda-stdlib/archive/v${version}.tar.gz";
+    sha256 = "03gdcy2gar46qlmd6w91y05cm1x304ig6bda90ryww9qn05kif78";
   };
 
   buildDepends = [ filemanip Agda ];
@@ -18,7 +18,7 @@ cabal.mkDerivation (self: {
       mkdir -p $out/share
       cd ..
       runhaskell GenerateEverything
-      ${Agda}/bin/agda -i . -i src Everything.agda
+      agda -i . -i src Everything.agda
       cp -pR src $out/share/agda
   '';
 
diff --git a/pkgs/top-level/haskell-packages.nix b/pkgs/top-level/haskell-packages.nix
index f2334b9e6a8a..e07d3396f825 100644
--- a/pkgs/top-level/haskell-packages.nix
+++ b/pkgs/top-level/haskell-packages.nix
@@ -2607,7 +2607,7 @@ self : let callPackage = x : y : modifyPrio (newScope self x y); in
   AgdaStdlib_0_7 = callPackage ../development/compilers/agda/stdlib-0.7.nix {
     Agda = self.Agda_2_3_2_2;
   };
-  AgdaStdlib_2_4_0 = callPackage ../development/compilers/agda/stdlib-2.4.0.nix {
+  AgdaStdlib_0_8 = callPackage ../development/compilers/agda/stdlib-0.8.nix {
     Agda = self.Agda_2_4_0_1;
   };
   AgdaStdlib = self.AgdaStdlib_0_7;