diff options
author | R. Ryantm <ryantm-bot@ryantm.com> | 2022-01-24 10:29:43 +0000 |
---|---|---|
committer | R. Ryantm <ryantm-bot@ryantm.com> | 2022-01-24 10:29:43 +0000 |
commit | 00844298cb4e617359ddc981e525505b482f3b39 (patch) | |
tree | a096d11da992ea7cb01ec3641d85d11648318c70 /pkgs/development/compilers/fstar | |
parent | e5f7e0e5513455fa128d13d82095016b2dcffc55 (diff) |
fstar: 2021.12.25 -> 2022.01.15
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 43bdbda81846..25abd7949071 100644 --- a/pkgs/development/compilers/fstar/default.nix +++ b/pkgs/development/compilers/fstar/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "fstar"; - version = "2021.12.25"; + version = "2022.01.15"; src = fetchFromGitHub { owner = "FStarLang"; repo = "FStar"; rev = "v${version}"; - sha256 = "RmXKv/admC1w26z/ClNhH11J8n87WTfDr2lYOF6Fx7I="; + sha256 = "sha256-bK3McF/wTjT9q6luihPaEXjx7Lu6+ZbQ9G61Mc4KoB0="; }; nativeBuildInputs = [ makeWrapper installShellFiles ]; |