From 324d195811fe5ccab0b0ef34ed60d51327ddab46 Mon Sep 17 00:00:00 2001
From: jopejoe1 <jopejoe1@missing.ninja>
Date: Fri, 30 Jan 2026 20:44:30 +0100
Subject: [PATCH] agdaPackages.agda-prelude: add updateScript and follow
 version convention

---
 pkgs/development/libraries/agda/agda-prelude/default.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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";