Unverified Commit e2d464ab authored by @mjones's avatar @mjones Committed by GitHub
Browse files

fstar: 2025.10.06 -> 2025.12.15 (#475441)

parents be84db65 e23f3c7c

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

+2 −2
Original line number Diff line number Diff line
@@ -19,13 +19,13 @@ let 
in

ocamlPackages.buildDunePackage (finalAttrs: {

  pname = "fstar";

  version = "2025.10.06";

  version = "2025.12.15";



  src = fetchFromGitHub {

    owner = "FStarLang";

    repo = "FStar";

    rev = "v${finalAttrs.version}";

    hash = "sha256-PH3ylEiUS+mfFtYV+KI7xrCewkEutM1c14A+ARsyOQY=";

    hash = "sha256-UuwDX6178YMhEQqpEOATswzoUNpEECq7Nyh2yk5gKRg=";

  };



  nativeBuildInputs = [