Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: fstar 2026.03.24 -> 2026.08.16 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/1dp12a0r7nidwbxslpw8xis60ipx5x92-packages.json.drv
building '/nix/store/1dp12a0r7nidwbxslpw8xis60ipx5x92-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..8ee346fb26fd 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.08.16";
 
   src = fetchFromGitHub {
     owner = "FStarLang";
     repo = "FStar";
     rev = "v${finalAttrs.version}";
-    hash = "sha256-b+LQ6X1yHUdBlQp+bA9KbRu6vhB3CwipN7pAxWxR2Nk=";
+    hash = "sha256-qCL12rJpxYqtu1L+2aQdVudJAqZGtdiynXbZsmlXSzg=";
   };
 
   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
nix build failed.
.scripts/get_fstar_z3.sh: interpreter directive changed from "#!/usr/bin/env bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/install-fstar.sh: interpreter directive changed from "#!/usr/bin/env bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/make_fstar_version.sh: interpreter directive changed from "#!/usr/bin/env bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/mk-package.sh: interpreter directive changed from "#!/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/mk_int.sh: interpreter directive changed from "#!/usr/bin/env bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/mk_tac_interps.sh: interpreter directive changed from "#!/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/package_z3.sh: interpreter directive changed from "#!/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/perf_canaries.sh: interpreter directive changed from "#!/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/publish_release.sh: interpreter directive changed from "#!/usr/bin/env bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/release.sh: interpreter directive changed from "#!/usr/bin/env bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/remove_all_unused_opens.sh: interpreter directive changed from "#!/usr/bin/env bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/remove_unused_opens.sh: interpreter directive changed from "#!/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/rename.sh: interpreter directive changed from "#!/usr/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/rename_all.sh: interpreter directive changed from "#!/usr/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/renamings.sh: interpreter directive changed from "#!/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/res_summary.sh: interpreter directive changed from "#!/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/run_benchmark.sh: interpreter directive changed from "#!/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/src-install.sh: interpreter directive changed from "#!/bin/bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
.scripts/test_package.sh: interpreter directive changed from "#!/usr/bin/env bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
patching script interpreter paths in ulib/ml/app/ints/mk_int_file.sh
ulib/ml/app/ints/mk_int_file.sh: interpreter directive changed from "#!/usr/bin/env bash" to "/nix/store/byi2zpy2bgcf3dr6y0l8m50rmjj8z7q1-bash-5.3p15/bin/bash"
Running phase: updateAutotoolsGnuConfigScriptsPhase
@nix { "action": "setPhase", "phase": "updateAutotoolsGnuConfigScriptsPhase" }
Running phase: configurePhase
@nix { "action": "setPhase", "phase": "configurePhase" }
no configure script, doing nothing
Running phase: buildPhase
@nix { "action": "setPhase", "phase": "buildPhase" }
Makefile:38: *** Error: karamel/Makefile not found. Run `git submodule init && git submodule update` if you haven't.  Stop.
make: *** Waiting for unfinished jobs....