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