2022-11-05T03:27:32 easycrypt-runtest 0 -> 1
2022-11-05T03:27:34 attrpath: easycrypt-runtest
2022-11-05T03:27:34 Checking auto update branch...
2022-11-05T03:27:38 [version] 
2022-11-05T03:27:38 [version] skipping because derivation has updateScript
2022-11-05T03:27:38 [rustCrateVersion] 
2022-11-05T03:27:38 [rustCrateVersion] No cargoSha256 found
2022-11-05T03:27:38 [golangModuleVersion] 
2022-11-05T03:27:38 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-05T03:27:38 [updateScript] 
2022-11-05T03:27:39 [updateScript] Success
2022-11-05T03:27:39 [updateScript] this derivation will be built:
  /nix/store/p9vci09mvc7n6ccjkpvv4q3m5v8pjh31-packages.json.drv
building '/nix/store/p9vci09mvc7n6ccjkpvv4q3m5v8pjh31-packages.json.drv'...

Going to be running update for following packages:
 - easycrypt-runtest-2022.04

Press Enter key to continue...
Running update for:
 - easycrypt-runtest-2022.04: UPDATING ...
 - easycrypt-runtest-2022.04: DONE.

Packages updated!

2022-11-05T03:27:39 
2022-11-05T03:27:39 [quotedUrls]
2022-11-05T03:27:39 [quotedUrls] nothing found to replace
2022-11-05T03:27:39 The diff was empty after rewrites.
2022-11-05T15:14:03 easycrypt-runtest 0 -> 1
2022-11-05T15:14:05 attrpath: easycrypt-runtest
2022-11-05T15:14:05 Checking auto update branch...
2022-11-05T15:14:09 [version] 
2022-11-05T15:14:09 [version] skipping because derivation has updateScript
2022-11-05T15:14:09 [rustCrateVersion] 
2022-11-05T15:14:09 [rustCrateVersion] No cargoSha256 found
2022-11-05T15:14:09 [golangModuleVersion] 
2022-11-05T15:14:09 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-05T15:14:09 [updateScript] 
2022-11-05T15:14:10 [updateScript] Success
2022-11-05T15:14:10 [updateScript] this derivation will be built:
  /nix/store/xfi1ylgfhs1azyxw9p1y4242pgbjm98b-packages.json.drv
building '/nix/store/xfi1ylgfhs1azyxw9p1y4242pgbjm98b-packages.json.drv'...

Going to be running update for following packages:
 - easycrypt-runtest-2022.04

Press Enter key to continue...
Running update for:
 - easycrypt-runtest-2022.04: UPDATING ...
 - easycrypt-runtest-2022.04: DONE.

Packages updated!

2022-11-05T15:14:10 
2022-11-05T15:14:10 [quotedUrls]
2022-11-05T15:14:11 [quotedUrls] nothing found to replace
2022-11-05T15:14:11 The diff was empty after rewrites.