Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: cryptoverif 0 -> 1
attrpath: cryptoverif
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] these 2 derivations will be built:
  /nix/store/cypjs2cla236fxhdkcwfhq7l1vfd740l-update-cryptoverif.drv
  /nix/store/2csg5pa3wq5h5jf519rrxiccm4w2pzhq-packages.json.drv
building '/nix/store/cypjs2cla236fxhdkcwfhq7l1vfd740l-update-cryptoverif.drv'...
structuredAttrs is enabled
building '/nix/store/2csg5pa3wq5h5jf519rrxiccm4w2pzhq-packages.json.drv'...
structuredAttrs is enabled

Going to be running update for following packages:
 - cryptoverif-2.12

Press Enter key to continue...
Running update for:
Enqueuing group of 1 packages
 - cryptoverif-2.12: UPDATING ...
 - cryptoverif-2.12: DONE.

Packages updated!

Diff after rewrites:
diff --git a/pkgs/by-name/cr/cryptoverif/package.nix b/pkgs/by-name/cr/cryptoverif/package.nix
index 538e8e2c3e0a..1018d48a4565 100644
--- a/pkgs/by-name/cr/cryptoverif/package.nix
+++ b/pkgs/by-name/cr/cryptoverif/package.nix
@@ -8,11 +8,11 @@
 
 stdenv.mkDerivation (finalAttrs: {
   pname = "cryptoverif";
-  version = "2.12";
+  version = "2.13";
 
   src = fetchurl {
     url = "https://prosecco.gforge.inria.fr/personal/bblanche/cryptoverif/cryptoverif${finalAttrs.version}.tar.gz";
-    hash = "sha256-d3MIYb57+95bB493hdtHiGnTOronYaQo1Qqq1TcJh1c=";
+    hash = "sha256-5u20IqBlvX1ZpFIRDBsgAQS3TYdBjrPlETo/8Y7FOPU=";
   };
 
   /*

An auto update branch exists with message `cryptoverif: 2.12 -> 2.13`. New version is 2.13.
An auto update branch exists with an equal or greater version