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/2rrsg62y4bdl4mq2lnkw18h4h3mkrwj1-packages.json.drv
building '/nix/store/2rrsg62y4bdl4mq2lnkw18h4h3mkrwj1-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..6a607b39d4b1 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-28";
 
   src = fetchFromGitHub {
     owner = "the1lab";
     repo = "1lab";
-    rev = "e9c2ad2b3ba9cefad36e72cb9d732117c68ac862";
-    hash = "sha256-wKh77+xCdfMtnq9jMlpdnEptGO+/WVNlQFa1TDbdUGs=";
+    rev = "f505559ed65a60ed7dde33e9dd19d0f012481975";
+    hash = "sha256-ayDZpuclwN/jqpcT53RvRV4LSAwY7lw3xpAtv5Bc9cY=";
   };
 
   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/kahxj06wgh3j0mghnaqbdkiz4i9ahw30-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/1lab.agda-lib:1.1: error: [OptionError]
Unrecognized option: --quote-metas