2022-11-10T03:46:35 easycrypt-runtest 0 -> 1
2022-11-10T03:46:38 attrpath: easycrypt-runtest
2022-11-10T03:46:38 Checking auto update branch...
2022-11-10T03:46:41 [version] 
2022-11-10T03:46:41 [version] skipping because derivation has updateScript
2022-11-10T03:46:41 [rustCrateVersion] 
2022-11-10T03:46:41 [rustCrateVersion] No cargoSha256 found
2022-11-10T03:46:41 [golangModuleVersion] 
2022-11-10T03:46:41 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-10T03:46:41 [updateScript] 
2022-11-10T03:46:43 [updateScript] Success
2022-11-10T03:46:43 [updateScript] this derivation will be built:
  /nix/store/q70hf1pcz2pnfc1f1al361b96z7kdly1-packages.json.drv
building '/nix/store/q70hf1pcz2pnfc1f1al361b96z7kdly1-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-10T03:46:43 
2022-11-10T03:46:43 [quotedUrls]
2022-11-10T03:46:43 [quotedUrls] nothing found to replace
2022-11-10T03:46:43 The diff was empty after rewrites.
2022-11-10T15:21:39 easycrypt-runtest 0 -> 1
2022-11-10T15:21:41 attrpath: easycrypt-runtest
2022-11-10T15:21:41 Checking auto update branch...
2022-11-10T15:21:45 [version] 
2022-11-10T15:21:45 [version] skipping because derivation has updateScript
2022-11-10T15:21:45 [rustCrateVersion] 
2022-11-10T15:21:45 [rustCrateVersion] No cargoSha256 found
2022-11-10T15:21:45 [golangModuleVersion] 
2022-11-10T15:21:45 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-10T15:21:45 [updateScript] 
2022-11-10T15:21:46 [updateScript] Success
2022-11-10T15:21:46 [updateScript] this derivation will be built:
  /nix/store/h9mx4q7z4jssjwvw5ybz5anj3vcb2mlm-packages.json.drv
building '/nix/store/h9mx4q7z4jssjwvw5ybz5anj3vcb2mlm-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-10T15:21:46 
2022-11-10T15:21:46 [quotedUrls]
2022-11-10T15:21:46 [quotedUrls] nothing found to replace
2022-11-10T15:21:47 The diff was empty after rewrites.