2022-11-05T02:05:32 agda-pkg 0 -> 1 2022-11-05T02:05:35 attrpath: agda-pkg 2022-11-05T02:05:35 Checking auto update branch... 2022-11-05T02:05:39 [version] 2022-11-05T02:05:39 [version] skipping because derivation has updateScript 2022-11-05T02:05:39 [rustCrateVersion] 2022-11-05T02:05:39 [rustCrateVersion] No cargoSha256 found 2022-11-05T02:05:39 [golangModuleVersion] 2022-11-05T02:05:39 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-05T02:05:39 [updateScript] 2022-11-05T02:05:40 [updateScript] Success 2022-11-05T02:05:40 [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-05T02:05:40 2022-11-05T02:05:40 [quotedUrls] 2022-11-05T02:05:40 [quotedUrls] nothing found to replace 2022-11-05T02:05:40 The diff was empty after rewrites. 2022-11-05T12:57:29 agda-pkg 0 -> 1 2022-11-05T12:57:36 attrpath: agda-pkg 2022-11-05T12:57:37 Checking auto update branch... 2022-11-05T12:57:45 [version] 2022-11-05T12:57:45 [version] skipping because derivation has updateScript 2022-11-05T12:57:45 [rustCrateVersion] 2022-11-05T12:57:45 [rustCrateVersion] No cargoSha256 found 2022-11-05T12:57:45 [golangModuleVersion] 2022-11-05T12:57:45 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-05T12:57:45 [updateScript] 2022-11-05T12:57:50 [updateScript] Success 2022-11-05T12:57:50 [updateScript] this derivation will be built: /nix/store/p6i3yv2c3dmd9rdf4n8dic78ig73qdrz-packages.json.drv building '/nix/store/p6i3yv2c3dmd9rdf4n8dic78ig73qdrz-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-05T12:57:50 2022-11-05T12:57:50 [quotedUrls] 2022-11-05T12:57:50 [quotedUrls] nothing found to replace 2022-11-05T12:57:51 The diff was empty after rewrites.