Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: fstar 2026.03.24 -> 2026.07.12 https://github.com/FStarLang/FStar/releases
attrpath: fstar
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/2lnypysh4l8fkjxi8px5yq4y1jn0f27c-packages.json.drv
building '/nix/store/2lnypysh4l8fkjxi8px5yq4y1jn0f27c-packages.json.drv'...

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

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

Packages updated!

Diff after rewrites:
diff --git a/pkgs/by-name/fs/fstar/package.nix b/pkgs/by-name/fs/fstar/package.nix
index 5b8612c0bec1..71dae23b7a17 100644
--- a/pkgs/by-name/fs/fstar/package.nix
+++ b/pkgs/by-name/fs/fstar/package.nix
@@ -19,13 +19,13 @@ let
 in
 ocamlPackages.buildDunePackage (finalAttrs: {
   pname = "fstar";
-  version = "2026.03.24";
+  version = "2026.07.12";
 
   src = fetchFromGitHub {
     owner = "FStarLang";
     repo = "FStar";
     rev = "v${finalAttrs.version}";
-    hash = "sha256-b+LQ6X1yHUdBlQp+bA9KbRu6vhB3CwipN7pAxWxR2Nk=";
+    hash = "sha256-A6YqZvAJXYiT3ADaTHIhl2BW5VH+nWmh6b1Y8CVL/MM=";
   };
 
   nativeBuildInputs = [

No auto update branch exists
Received ExitFailure 1 when running
Raw command: nix-build --option sandbox true --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A fstar
Received ExitFailure 1 when running
Raw command: nix --extra-experimental-features nix-command log -f . fstar --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]"
Standard output:

error: build log of 'fstar' is not available