diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2021-09-11 04:20:00 +0000 |
---|---|---|
committer | Mario Rodas <marsam@users.noreply.github.com> | 2021-09-11 04:20:00 +0000 |
commit | 12a73316bb6349f1004d9331fcd26aba0171450c (patch) | |
tree | 15dd6c38617aa7bc4b0b8a8b8a3ea0a7e064d5e2 /pkgs/development/compilers/fstar | |
parent | fc4247e8278a46c981a0bf2bd99d082c57e7a1fb (diff) |
fstar: 2021.08.27 -> 2021.09.11
Diffstat (limited to 'pkgs/development/compilers/fstar')
-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 0ef2e89f123a..dac50fc781bb 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 ]; |