Merge pull request #264479 from marsam/update-fstar

fstar: 2023.04.25 -> 2023.09.03
2023-11-01 07:52:09 -05:00
parent 101e0bc350 20b2d94235
commit e82c391098
1 changed files with 3 additions and 2 deletions
@@ -2,13 +2,13 @@

 stdenv.mkDerivation rec {
  pname = "fstar";
-  version = "2023.04.25";
+  version = "2023.09.03";

  src = fetchFromGitHub {
    owner = "FStarLang";
    repo = "FStar";
    rev = "v${version}";
-    hash = "sha256-LF8eXi/es337QJ2fs5u9pLqegJkh1kDLjK8p4CcSGGc=";
+    hash = "sha256-ymoP5DvaLdrdwJcnhZnLEvwNxUFzhkICajPyK4lvacc=";
  };

  strictDeps = true;
@@ -32,6 +32,7 @@ stdenv.mkDerivation rec {
    stdint
    yojson
    fileutils
+    memtrace
    menhirLib
    pprint
    sedlex