diff --git a/pkgs/development/libraries/agda/agda-prelude/default.nix b/pkgs/development/libraries/agda/agda-prelude/default.nix
index 7053e26b40af..5cc9f21b9515 100644
--- a/pkgs/development/libraries/agda/agda-prelude/default.nix
+++ b/pkgs/development/libraries/agda/agda-prelude/default.nix
@@ -2,10 +2,11 @@
   lib,
   mkDerivation,
   fetchFromGitHub,
+  unstableGitUpdater,
 }:
 
 mkDerivation {
-  version = "unstable-2024-08-22";
+  version = "0-unstable-2024-08-22";
   pname = "agda-prelude";
 
   src = fetchFromGitHub {
@@ -15,6 +16,8 @@ mkDerivation {
     hash = "sha256-ab+KojzRbkUTAFNH5OA78s0F5SUuXTbliai6badveg4=";
   };
 
+  passthru.updateScript = unstableGitUpdater { };
+
   meta = {
     homepage = "https://github.com/UlfNorell/agda-prelude";
     description = "Programming library for Agda";