2022-11-11T04:12:12 agda-pkg 0 -> 1
2022-11-11T04:12:15 attrpath: agda-pkg
2022-11-11T04:12:15 Checking auto update branch...
2022-11-11T04:12:21 [version] 
2022-11-11T04:12:21 [version] skipping because derivation has updateScript
2022-11-11T04:12:21 [rustCrateVersion] 
2022-11-11T04:12:21 [rustCrateVersion] No cargoSha256 found
2022-11-11T04:12:21 [golangModuleVersion] 
2022-11-11T04:12:21 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-11T04:12:21 [updateScript] 
2022-11-11T04:12:23 [updateScript] Success
2022-11-11T04:12:23 [updateScript] this derivation will be built:
  /nix/store/gdfb7g6mz5xzxnc59l7wjks3g0g6zq2w-packages.json.drv
building '/nix/store/gdfb7g6mz5xzxnc59l7wjks3g0g6zq2w-packages.json.drv'...

Going to be running update for following packages:
 - agda-pkg-0.1.51

Press Enter key to continue...
Running update for:
 - agda-pkg-0.1.51: UPDATING ...
 - agda-pkg-0.1.51: DONE.

Packages updated!

2022-11-11T04:12:23 
2022-11-11T04:12:23 [quotedUrls]
2022-11-11T04:12:23 [quotedUrls] nothing found to replace
2022-11-11T04:12:24 The diff was empty after rewrites.
2022-11-11T13:37:17 agda-pkg 0 -> 1
2022-11-11T13:37:19 attrpath: agda-pkg
2022-11-11T13:37:19 Checking auto update branch...
2022-11-11T13:37:23 [version] 
2022-11-11T13:37:23 [version] skipping because derivation has updateScript
2022-11-11T13:37:23 [rustCrateVersion] 
2022-11-11T13:37:23 [rustCrateVersion] No cargoSha256 found
2022-11-11T13:37:23 [golangModuleVersion] 
2022-11-11T13:37:23 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-11T13:37:23 [updateScript] 
2022-11-11T13:37:24 [updateScript] Success
2022-11-11T13:37:24 [updateScript] this derivation will be built:
  /nix/store/brjnh9kwfsb1bsx507nnqhgirfkj8k6j-packages.json.drv
building '/nix/store/brjnh9kwfsb1bsx507nnqhgirfkj8k6j-packages.json.drv'...

Going to be running update for following packages:
 - agda-pkg-0.1.51

Press Enter key to continue...
Running update for:
 - agda-pkg-0.1.51: UPDATING ...
 - agda-pkg-0.1.51: DONE.

Packages updated!

2022-11-11T13:37:24 
2022-11-11T13:37:24 [quotedUrls]
2022-11-11T13:37:24 [quotedUrls] nothing found to replace
2022-11-11T13:37:25 The diff was empty after rewrites.