diff options
author | Lucas Franceschino <lucas.franceschino@inria.fr> | 2022-12-07 16:06:29 +0100 |
---|---|---|
committer | Rick van Schijndel <Mindavi@users.noreply.github.com> | 2022-12-20 11:32:57 +0100 |
commit | 762426b0dcf065a8badbc0f7b4b868980ff8ace0 (patch) | |
tree | ea4b999437ad5ee0589712a6b8bef40734e15847 /pkgs/development/compilers/fstar | |
parent | 5c3b11677ab72bcfa2ce11c301c34630be881235 (diff) |
fstar: 2022.01.15 -> 2022.11.19
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 020cacad6717..e38f416b261b 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 = "2022.01.15"; + version = "2022.11.19"; src = fetchFromGitHub { owner = "FStarLang"; repo = "FStar"; rev = "v${version}"; - sha256 = "sha256-bK3McF/wTjT9q6luihPaEXjx7Lu6+ZbQ9G61Mc4KoB0="; + sha256 = "sha256-IJMzRi335RbK8mEXQaF1UDPC0JVi6zSqcz6RS874m3Q="; }; strictDeps = true; |