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/m6n8p1yis8gia9kca0hj4fi74pm8nr4d-packages.json.drv
building '/nix/store/m6n8p1yis8gia9kca0hj4fi74pm8nr4d-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..ef6db3dfff61 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-01-28";
 
   src = fetchFromGitHub {
     owner = "the1lab";
     repo = "1lab";
-    rev = "e9c2ad2b3ba9cefad36e72cb9d732117c68ac862";
-    hash = "sha256-wKh77+xCdfMtnq9jMlpdnEptGO+/WVNlQFa1TDbdUGs=";
+    rev = "b87b173934aa065d569778ef36df513f65542656";
+    hash = "sha256-rF12eb7BlyMBWuSZWDjXjM8KrLJJQguXJUfNx29kKj8=";
   };
 
   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.
@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).
   Checking Prim.Data.Sigma (/build/source/src/Prim/Data/Sigma.lagda.md).
    Checking Prim.Extension (/build/source/src/Prim/Extension.lagda.md).
     Checking Prim.Interval (/build/source/src/Prim/Interval.lagda.md).
    Checking Prim.Kan (/build/source/src/Prim/Kan.lagda.md).
   Checking Prim.Data.Bool (/build/source/src/Prim/Data/Bool.lagda.md).
   Checking Prim.Data.Nat (/build/source/src/Prim/Data/Nat.lagda.md).
   Checking Prim.Literals (/build/source/src/Prim/Literals.lagda.md).
  Checking 1Lab.Path.Groupoid (/build/source/src/1Lab/Path/Groupoid.lagda.md).
   Checking 1Lab.Path (/build/source/src/1Lab/Path.lagda.md).
  Checking 1Lab.Path.IdentitySystem.Interface (/build/source/src/1Lab/Path/IdentitySystem/Interface.agda).
   Checking 1Lab.HLevel (/build/source/src/1Lab/HLevel.lagda.md).
   Checking 1Lab.Equiv (/build/source/src/1Lab/Equiv.lagda.md).
    Checking 1Lab.Path.Reasoning (/build/source/src/1Lab/Path/Reasoning.lagda.md).
   Checking 1Lab.Path.IdentitySystem (/build/source/src/1Lab/Path/IdentitySystem.lagda.md).
    Checking 1Lab.Function.Embedding (/build/source/src/1Lab/Function/Embedding.lagda.md).
/build/source/src/1Lab/Function/Embedding.lagda.md:259.63: error: [ParseError]
where<ERROR> 
  from p i = is-prop→pathp (λ...