alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

fstar: 2021.08.27 -> 2021.09.11

Browse source
This commit is contained in:
Mario Rodas 2021-09-11 04:20:00 +00:00
parent fc4247e827
commit 12a73316bb
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/compilers/fstar/default.nix
View file

@ -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 ];