diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2023-10-30 04:20:00 +0000 |
---|---|---|
committer | Mario Rodas <marsam@users.noreply.github.com> | 2023-10-30 04:20:00 +0000 |
commit | 20b2d94235fd3319653b48741eaa54b8a9137b41 (patch) | |
tree | 49021ca93b48b1bf05b15a985e93eb4b707e3f70 /pkgs/development/compilers | |
parent | 4f36fbeb7cfe125375e34944318316338d81b180 (diff) | |
download | nixpkgs-20b2d94235fd3319653b48741eaa54b8a9137b41.tar nixpkgs-20b2d94235fd3319653b48741eaa54b8a9137b41.tar.gz nixpkgs-20b2d94235fd3319653b48741eaa54b8a9137b41.tar.bz2 nixpkgs-20b2d94235fd3319653b48741eaa54b8a9137b41.tar.lz nixpkgs-20b2d94235fd3319653b48741eaa54b8a9137b41.tar.xz nixpkgs-20b2d94235fd3319653b48741eaa54b8a9137b41.tar.zst nixpkgs-20b2d94235fd3319653b48741eaa54b8a9137b41.zip |
fstar: 2023.04.25 -> 2023.09.03
Diff: https://github.com/FStarLang/FStar/compare/v2023.04.25...v2023.09.03 Changelog: https://github.com/FStarLang/FStar/releases/tag/v2023.09.03
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/fstar/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/compilers/fstar/default.nix b/pkgs/development/compilers/fstar/default.nix index ee45e1e9ab1..8bb3366655c 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 = "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 |