2022-11-10T02:36:18 agda-pkg 0 -> 1 2022-11-10T02:36:20 attrpath: agda-pkg 2022-11-10T02:36:20 Checking auto update branch... 2022-11-10T02:36:24 [version] 2022-11-10T02:36:24 [version] skipping because derivation has updateScript 2022-11-10T02:36:24 [rustCrateVersion] 2022-11-10T02:36:24 [rustCrateVersion] No cargoSha256 found 2022-11-10T02:36:24 [golangModuleVersion] 2022-11-10T02:36:24 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-10T02:36:24 [updateScript] 2022-11-10T02:36:26 [updateScript] Success 2022-11-10T02:36:26 [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-10T02:36:26 2022-11-10T02:36:26 [quotedUrls] 2022-11-10T02:36:26 [quotedUrls] nothing found to replace 2022-11-10T02:36:26 The diff was empty after rewrites. 2022-11-10T12:39:14 agda-pkg 0 -> 1 2022-11-10T12:39:16 attrpath: agda-pkg 2022-11-10T12:39:17 Checking auto update branch... 2022-11-10T12:39:20 [version] 2022-11-10T12:39:20 [version] skipping because derivation has updateScript 2022-11-10T12:39:20 [rustCrateVersion] 2022-11-10T12:39:20 [rustCrateVersion] No cargoSha256 found 2022-11-10T12:39:20 [golangModuleVersion] 2022-11-10T12:39:20 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-10T12:39:20 [updateScript] 2022-11-10T12:39:22 [updateScript] Success 2022-11-10T12:39:22 [updateScript] this derivation will be built: /nix/store/gkkd0wni1i7fdr5iwchq1hgh0yc2xgf7-packages.json.drv building '/nix/store/gkkd0wni1i7fdr5iwchq1hgh0yc2xgf7-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-10T12:39:22 2022-11-10T12:39:22 [quotedUrls] 2022-11-10T12:39:22 [quotedUrls] nothing found to replace 2022-11-10T12:39:22 The diff was empty after rewrites.