fstar 0 -> 1
attrpath: fstar
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
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] Success
[updateScript] these 2 derivations will be built:
  /nix/store/chsqm1gxnj400ck7q7ynacsg11g6prqa-update-fstar.drv
  /nix/store/wfdlq6mki24kn7dn0qwljf0nqxfldl0x-packages.json.drv
building '/nix/store/chsqm1gxnj400ck7q7ynacsg11g6prqa-update-fstar.drv'...
building '/nix/store/wfdlq6mki24kn7dn0qwljf0nqxfldl0x-packages.json.drv'...

Going to be running update for following packages:
 - fstar-2023.09.03

Press Enter key to continue...
Running update for:
 - fstar-2023.09.03: UPDATING ...
 - fstar-2023.09.03: DONE.

Packages updated!

The diff was empty after rewrites.