agdaPackages._1lab: add updateScript and make version follow convention

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