Running nixpkgs-update (https://github.com/NixOS/infra/blob/main/non-critical-infra/modules/nixpkgs-update/README.md) with UPDATE_INFO: fstar 0 -> 1
attrpath: fstar
Checking auto update branch...
[version] 
[version] generic version rewriter does not support multiple hashes
[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/0x85zfx27f0310hdn0g4zwsryypsdz4v-packages.json.drv
building '/nix/store/0x85zfx27f0310hdn0g4zwsryypsdz4v-packages.json.drv'...

Going to be running update for following packages:
 - ocaml5.4.1-fstar-2026.10.25

Press Enter key to continue...
Running update for:
Enqueuing group of 1 packages
 - ocaml5.4.1-fstar-2026.10.25: UPDATING ...
 - ocaml5.4.1-fstar-2026.10.25: DONE.

Packages updated!

The diff was empty after rewrites.