diff --git a/pkgs/by-name/fs/fstar/package.nix b/pkgs/by-name/fs/fstar/package.nix index b694bf7cdbf0..d03a9c699821 100644 --- a/pkgs/by-name/fs/fstar/package.nix +++ b/pkgs/by-name/fs/fstar/package.nix @@ -13,19 +13,19 @@ let # The version of ocaml fstar uses. - ocamlPackages = ocaml-ng.ocamlPackages_5_3; + ocamlPackages = ocaml-ng.ocamlPackages_5_4; fstarZ3 = callPackage ./z3 { }; in ocamlPackages.buildDunePackage (finalAttrs: { pname = "fstar"; - version = "2025.12.15"; + version = "2026.03.24"; src = fetchFromGitHub { owner = "FStarLang"; repo = "FStar"; rev = "v${finalAttrs.version}"; - hash = "sha256-UuwDX6178YMhEQqpEOATswzoUNpEECq7Nyh2yk5gKRg="; + hash = "sha256-b+LQ6X1yHUdBlQp+bA9KbRu6vhB3CwipN7pAxWxR2Nk="; }; nativeBuildInputs = [