fstar: 2025.10.06 -> 2025.12.15

2025-12-30 23:38:52 +00:00
parent cad22e7d99
commit e23f3c7cda
1 changed files with 2 additions and 2 deletions
@@ -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 = [