colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #137474 from marsam/uppdate-fstar

Browse Source 
fstar: 2021.08.27 -> 2021.09.11
This commit is contained in:
Jörg Thalheim 2021-09-12 08:49:06 +01:00 committed by GitHub
commit 92e25e5ada
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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 ];