2022-11-04T05:02:47 agda-pkg 0 -> 1 2022-11-04T05:02:49 attrpath: agda-pkg 2022-11-04T05:02:49 Checking auto update branch... 2022-11-04T05:02:53 [version] 2022-11-04T05:02:53 [version] skipping because derivation has updateScript 2022-11-04T05:02:53 [rustCrateVersion] 2022-11-04T05:02:53 [rustCrateVersion] No cargoSha256 found 2022-11-04T05:02:53 [golangModuleVersion] 2022-11-04T05:02:53 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-04T05:02:53 [updateScript] 2022-11-04T05:02:55 [updateScript] Success 2022-11-04T05:02:55 [updateScript] this derivation will be built: /nix/store/c7khjdjclc3ijbw2f6lg32ycc6yxyqmg-packages.json.drv building '/nix/store/c7khjdjclc3ijbw2f6lg32ycc6yxyqmg-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-04T05:02:55 2022-11-04T05:02:55 [quotedUrls] 2022-11-04T05:02:55 [quotedUrls] nothing found to replace 2022-11-04T05:02:55 The diff was empty after rewrites. 2022-11-04T19:21:05 agda-pkg 0 -> 1 2022-11-04T19:21:07 attrpath: agda-pkg 2022-11-04T19:21:07 Checking auto update branch... 2022-11-04T19:21:11 [version] 2022-11-04T19:21:11 [version] skipping because derivation has updateScript 2022-11-04T19:21:11 [rustCrateVersion] 2022-11-04T19:21:11 [rustCrateVersion] No cargoSha256 found 2022-11-04T19:21:11 [golangModuleVersion] 2022-11-04T19:21:11 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-04T19:21:11 [updateScript] 2022-11-04T19:21:13 [updateScript] Success 2022-11-04T19:21:13 [updateScript] 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-04T19:21:13 2022-11-04T19:21:13 [quotedUrls] 2022-11-04T19:21:13 [quotedUrls] nothing found to replace 2022-11-04T19:21:13 The diff was empty after rewrites.