ci(nix): use more recent F*

Author: W95Psp

examples/README.md

@@ -18,7 +18,7 @@
   * With Nix, `nix develop .#examples` setups a shell automatically for you.
 
   * Without Nix:
-    1. install F* `v2025.02.17`<!---FSTAR_VERSION--> manually (see https://github.com/FStarLang/FStar/blob/master/INSTALL.md);
+    1. install F* `v2025.03.25`<!---FSTAR_VERSION--> manually (see https://github.com/FStarLang/FStar/blob/master/INSTALL.md);
        1. make sure to have `fstar.exe` in PATH;
        2. or set the `FSTAR_HOME` environment variable.
     2. clone [Hacl*](https://github.com/hacl-star/hacl-star) somewhere;

flake.lock

@@ -7,13 +7,7 @@
       url = "github:oxalica/rust-overlay";
       inputs.nixpkgs.follows = "nixpkgs";
     };
-    fstar = {
-      url = "github:FStarLang/FStar/v2025.02.17";
-      inputs = {
-        nixpkgs.follows = "nixpkgs";
-        flake-utils.follows = "flake-utils";
-      };
-    };
+    fstar.url = "github:FStarLang/FStar/v2025.03.25";
     hacl-star = {
       url = "github:hacl-star/hacl-star";
       flake = false;
@@ -146,6 +140,7 @@
           replace-fstar-versions-md = {
             type = "app";
             program = "${pkgs.writeScript "replace-fstar-versions-md" ''
+              #!${pkgs.bash}/bin/bash
               FSTAR_VERSION=$(cat ${
                 ./flake.lock
               } | ${pkgs.jq}/bin/jq '.nodes.fstar.original.ref' -r)