diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2021-09-12 08:49:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-12 08:49:06 +0100 |
| commit | 92e25e5adad07a1163540bba038c1f31d7cc9532 (patch) | |
| tree | ca312c16c7e399d1c7c5593ef2b86a63f9898cd7 /pkgs/development | |
| parent | 211c1157ad0307ccc17905c9f1990a6162faf35f (diff) | |
| parent | 12a73316bb6349f1004d9331fcd26aba0171450c (diff) | |
Merge pull request #137474 from marsam/uppdate-fstar
fstar: 2021.08.27 -> 2021.09.11
Diffstat (limited to 'pkgs/development')
| -rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index 0ef2e89f123a1..dac50fc781bbc 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -17,13 +17,13 @@ in stdenv.mkDerivation rec { pname = "fstar"; - version = "2021.08.27"; + version = "2021.09.11"; src = fetchFromGitHub { owner = "FStarLang"; repo = "FStar"; rev = "v${version}"; - sha256 = "1bf5hrv2nv0ljvdf6jhk59lw1ds3j5qkkcylgxwakylw30g8rxqb"; + sha256 = "1aqk6fx77zcb7mcm78dk4l4zzd323qiv7yc7hvc38494yf6gk8a0"; }; nativeBuildInputs = [ makeWrapper installShellFiles ]; |