Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: easycrypt-runtest 2026.06 -> 2026.07 https://github.com/easycrypt/easycrypt/releases
attrpath: easycrypt-runtest
Checking auto update branch...
[version] 
[version] skipping because derivation has updateScript
[rustCrateVersion] 
[rustCrateVersion] No cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] Success
[updateScript] this derivation will be built:
  /nix/store/pa29g1d1wca7sak6gwhrzjymsv4y2mh1-packages.json.drv
building '/nix/store/pa29g1d1wca7sak6gwhrzjymsv4y2mh1-packages.json.drv'...

Going to be running update for following packages:
 - easycrypt-runtest-2026.06

Press Enter key to continue...
Running update for:
Enqueuing group of 1 packages
 - easycrypt-runtest-2026.06: UPDATING ...
 - easycrypt-runtest-2026.06: DONE.

Packages updated!

The diff was empty after rewrites.