From bd6d30ffedf6200b06a02edba642616cf4975429 Mon Sep 17 00:00:00 2001
From: jopejoe1 <jopejoe1@missing.ninja>
Date: Fri, 30 Jan 2026 20:36:54 +0100
Subject: [PATCH] agdaPackages._1lab: add updateScript and make version follow
 convention

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

diff --git a/pkgs/development/libraries/agda/1lab/default.nix b/pkgs/development/libraries/agda/1lab/default.nix
index d2e040416952..5282de13e398 100644
--- a/pkgs/development/libraries/agda/1lab/default.nix
+++ b/pkgs/development/libraries/agda/1lab/default.nix
@@ -2,11 +2,12 @@
   lib,
   mkDerivation,
   fetchFromGitHub,
+  unstableGitUpdater,
 }:
 
 mkDerivation {
   pname = "1lab";
-  version = "unstable-2025-07-01";
+  version = "0-unstable-2025-07-01";
 
   src = fetchFromGitHub {
     owner = "the1lab";
@@ -25,6 +26,8 @@ mkDerivation {
     sed -Ei '/OPTIONS/s/ -v ?[^ #]+//g' "''${files[@]}"
   '';
 
+  passthru.updateScript = unstableGitUpdater { };
+
   meta = {
     description = "Formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory ";
     homepage = "https://github.com/the1lab/1lab";