Merge pull request #142382 from pnmadelaine/update-fstar
fstar: 2021.09.30 -> 2021.10.16
commit9e8a099ba44b8c7588f996ecd2bdf3a03ae9b975
authorMario Rodas <marsam@users.noreply.github.com>
dateSat 23 Oct 2021, 08:55 (5 years ago)
parent89f0d2b862c639
pkgs/development/compilers/fstar/default.nix+2−2
@@ -17,13 +17,13 @@ in
1717
1818stdenv.mkDerivation rec {
1919 pname = "fstar";
20− version = "2021.09.30";
20+ version = "2021.10.16";
2121
2222 src = fetchFromGitHub {
2323 owner = "FStarLang";
2424 repo = "FStar";
2525 rev = "v${version}";
26− sha256 = "gqy9iaLZlTyv9ufHrUG87ta2xyc1OaZ/KRGhAzB+wsQ=";
26+ sha256 = "03b693s7s7dzflv5qkf61gd8ji9bn6fq4pxd8pd3a6ppkwj6b5vc";
2727 };
2828
2929 nativeBuildInputs = [ makeWrapper installShellFiles ];