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

fstar: 2021.09.30 -> 2021.10.16

Browse Source
This commit is contained in:
Paul-Nicolas Madelaine 2021-10-20 17:46:41 +02:00
parent 5f0194220f
commit 862c6390f9
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.09.30";
version = "2021.10.16";
src = fetchFromGitHub {
owner = "FStarLang";
repo = "FStar";
rev = "v${version}";
sha256 = "gqy9iaLZlTyv9ufHrUG87ta2xyc1OaZ/KRGhAzB+wsQ=";
sha256 = "03b693s7s7dzflv5qkf61gd8ji9bn6fq4pxd8pd3a6ppkwj6b5vc";
};
nativeBuildInputs = [ makeWrapper installShellFiles ];