2022-11-06T13:31:46 agda-pkg 0 -> 1 2022-11-06T13:31:48 attrpath: agda-pkg 2022-11-06T13:31:48 Checking auto update branch... 2022-11-06T13:31:52 [version] 2022-11-06T13:31:52 [version] skipping because derivation has updateScript 2022-11-06T13:31:52 [rustCrateVersion] 2022-11-06T13:31:52 [rustCrateVersion] No cargoSha256 found 2022-11-06T13:31:52 [golangModuleVersion] 2022-11-06T13:31:52 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-06T13:31:52 [updateScript] 2022-11-06T13:31:54 [updateScript] Success 2022-11-06T13:31:54 [updateScript] this derivation will be built: /nix/store/pvh2y9skk4k7pd90l6zp8kkqgyi9pkxp-packages.json.drv building '/nix/store/pvh2y9skk4k7pd90l6zp8kkqgyi9pkxp-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-06T13:31:54 2022-11-06T13:31:54 [quotedUrls] 2022-11-06T13:31:54 [quotedUrls] nothing found to replace 2022-11-06T13:31:54 The diff was empty after rewrites. 2022-11-06T15:51:02 agda-pkg 0 -> 1 2022-11-06T15:51:05 attrpath: agda-pkg 2022-11-06T15:51:05 Checking auto update branch... 2022-11-06T15:51:09 [version] 2022-11-06T15:51:09 [version] skipping because derivation has updateScript 2022-11-06T15:51:09 [rustCrateVersion] 2022-11-06T15:51:09 [rustCrateVersion] No cargoSha256 found 2022-11-06T15:51:09 [golangModuleVersion] 2022-11-06T15:51:09 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-06T15:51:09 [updateScript] 2022-11-06T15:51:10 [updateScript] Success 2022-11-06T15:51:10 [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-06T15:51:10 2022-11-06T15:51:10 [quotedUrls] 2022-11-06T15:51:10 [quotedUrls] nothing found to replace 2022-11-06T15:51:10 The diff was empty after rewrites.