diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2021-09-01 07:31:20 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-09-01 07:31:20 -0500 |
commit | 7458f66f63efe11eb7616e9c15bac2595434025f (patch) | |
tree | 78144cd3fd8500824107c21871b52a071c7cf8c6 /pkgs/development/compilers/fstar | |
parent | 93ba1f2fee84bf286c5ced360c635e7052affc75 (diff) |
fstar: 2021.07.31 -> 2021.08.27 (#136215)
Diffstat (limited to 'pkgs/development/compilers/fstar')
-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 fec71dc46fdc..0ef2e89f123a 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.07.31"; + version = "2021.08.27"; src = fetchFromGitHub { owner = "FStarLang"; repo = "FStar"; rev = "v${version}"; - sha256 = "KZTmphpt8nYpOd8EReAZ6iIkS4uY3ZziKQ3A70BL/90="; + sha256 = "1bf5hrv2nv0ljvdf6jhk59lw1ds3j5qkkcylgxwakylw30g8rxqb"; }; nativeBuildInputs = [ makeWrapper installShellFiles ]; @@ -72,6 +72,7 @@ stdenv.mkDerivation rec { description = "ML-like functional programming language aimed at program verification"; homepage = "https://www.fstar-lang.org"; license = licenses.asl20; + changelog = "https://github.com/FStarLang/FStar/raw/v${version}/CHANGES.md"; platforms = with platforms; darwin ++ linux; maintainers = with maintainers; [ gebner ]; }; |