Unverified Commit fc9a1cba authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

fstar: 2025.12.15 -> 2026.03.24 (#504241)

parents b5606b06 1681ce8a

pkgs/by-name/fs/fstar/package.nix

+3 −3
Original line number Diff line number Diff line
@@ -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 = [