Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: agdaPackages._1lab 0 -> 1
attrpath: agdaPackages._1lab
Checking auto update branch...
[version] 
[version] skipping because derivation has updateScript
[rustCrateVersion] 
[rustCrateVersion] No cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] Success
[updateScript] this derivation will be built:
  /nix/store/phgyliswgan6g6bdw3w6kgs4990rvnnc-packages.json.drv
building '/nix/store/phgyliswgan6g6bdw3w6kgs4990rvnnc-packages.json.drv'...

Going to be running update for following packages:
 - 1lab-0-unstable-2025-07-01

Press Enter key to continue...
Running update for:
Enqueuing group of 1 packages
 - 1lab-0-unstable-2025-07-01: UPDATING ...
 - 1lab-0-unstable-2025-07-01: DONE.

Packages updated!

Diff after rewrites:
diff --git a/pkgs/development/libraries/agda/1lab/default.nix b/pkgs/development/libraries/agda/1lab/default.nix
index 5282de13e398..916e9cca6f87 100644
--- a/pkgs/development/libraries/agda/1lab/default.nix
+++ b/pkgs/development/libraries/agda/1lab/default.nix
@@ -7,13 +7,13 @@
 
 mkDerivation {
   pname = "1lab";
-  version = "0-unstable-2025-07-01";
+  version = "0-unstable-2026-07-03";
 
   src = fetchFromGitHub {
     owner = "the1lab";
     repo = "1lab";
-    rev = "e9c2ad2b3ba9cefad36e72cb9d732117c68ac862";
-    hash = "sha256-wKh77+xCdfMtnq9jMlpdnEptGO+/WVNlQFa1TDbdUGs=";
+    rev = "34d0fa3c34445dca80eb2b2574679e3ca001edf1";
+    hash = "sha256-tKoX8t0QEbnVNI8Vy2tJeGcqyfMsBWqsjwLZsA3orYw=";
   };
 
   postPatch = ''

No auto update branch exists
Received ExitFailure 1 when running
Raw command: nix-build --option sandbox true --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A agdaPackages._1lab
nix build failed.
got build log for 'agdaPackages._1lab' from 'daemon'
Running phase: unpackPhase
@nix { "action": "setPhase", "phase": "unpackPhase" }
unpacking source archive /nix/store/ryqpfg1mjvjm0kl2q7qlgx722mzlkc0k-source
source root is source
Running phase: patchPhase
@nix { "action": "setPhase", "phase": "patchPhase" }
Running phase: updateAutotoolsGnuConfigScriptsPhase
@nix { "action": "setPhase", "phase": "updateAutotoolsGnuConfigScriptsPhase" }
Running phase: configurePhase
@nix { "action": "setPhase", "phase": "configurePhase" }
no configure script, doing nothing
Running phase: buildPhase
@nix { "action": "setPhase", "phase": "buildPhase" }
/build/source/wip: /build/source/wip: getSymbolicLinkStatus: does not exist (No such file or directory)
/build/source/_build: /build/source/_build: getSymbolicLinkStatus: does not exist (No such file or directory)
Checking 1Lab.Classical (/build/source/src/1Lab/Classical.lagda.md).
 Checking 1Lab.Prelude (/build/source/src/1Lab/Prelude.agda).
  Checking 1Lab.Type (/build/source/src/1Lab/Type.lagda.md).
   Checking Prim.Type (/build/source/src/Prim/Type.lagda.md).
/build/source/src/Prim/Type.lagda.md:13.1-32: error: [NotInScope]
Not in scope:
  Typeω at /build/source/src/Prim/Type.lagda.md:13.23-28
    (did you mean 'Type'?)
when scope checking the declaration
  {-# BUILTIN TYPEOMEGA Typeω #-}