agda-pkg 0 -> 1
attrpath: agda-pkg
Checking auto update branch...
[version] 
[version] skipping because derivation has updateScript
[rustCrateVersion] 
[rustCrateVersion] No cargoSha256 or cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorSha256 or vendorHash
[updateScript] 
[updateScript] Success
[updateScript] this derivation will be built:
  /nix/store/d97kp3f24qkhvsck4zlcz08b3q8n8jd4-packages.json.drv
building '/nix/store/d97kp3f24qkhvsck4zlcz08b3q8n8jd4-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!


[quotedUrls]
[quotedUrls] nothing found to replace
The diff was empty after rewrites.