Unverified Commit 1681ce8a authored by Vincent Laporte's avatar Vincent Laporte
Browse files

fstar: 2025.12.15 → 2026.03.24

parent 57d933d5

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 = [