diff options
| author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-09-21 16:32:26 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-21 16:32:26 +0100 |
| commit | a15c96d24473b9d179370f63e5a1b1504a7ba6cc (patch) | |
| tree | 9977745efbca72e92c7d8bc555d20568e8fa04f4 | |
| parent | 53ac7e5f2f48bd9589f11eb636d4bd91a6c47af0 (diff) | |
| parent | 7ff90cd103c2fca386ed085afb0559380996d239 (diff) | |
| download | nixlib-a15c96d24473b9d179370f63e5a1b1504a7ba6cc.tar nixlib-a15c96d24473b9d179370f63e5a1b1504a7ba6cc.tar.gz nixlib-a15c96d24473b9d179370f63e5a1b1504a7ba6cc.tar.bz2 nixlib-a15c96d24473b9d179370f63e5a1b1504a7ba6cc.tar.lz nixlib-a15c96d24473b9d179370f63e5a1b1504a7ba6cc.tar.xz nixlib-a15c96d24473b9d179370f63e5a1b1504a7ba6cc.tar.zst nixlib-a15c96d24473b9d179370f63e5a1b1504a7ba6cc.zip | |
Merge pull request #47116 from Zimmi48/pyre-0.0.14
pyre: 0.0.11 -> 0.0.14
| -rw-r--r-- | pkgs/development/tools/pyre/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/tools/pyre/default.nix b/pkgs/development/tools/pyre/default.nix index c466d39eb4e1..99e53610c01c 100644 --- a/pkgs/development/tools/pyre/default.nix +++ b/pkgs/development/tools/pyre/default.nix @@ -3,7 +3,7 @@ let # Manually set version - the setup script requires # hg and git + keeping the .git directory around. - pyre-version = "0.0.11"; + pyre-version = "0.0.14"; versionFile = writeScript "version.ml" '' cat > "./version.ml" <<EOF open Core @@ -24,7 +24,7 @@ let owner = "facebook"; repo = "pyre-check"; rev = "v${pyre-version}"; - sha256 = "0ig7bx2kfn2kbxw74wysh5365yp5gyby42l9l29iclrzdghgk32l"; + sha256 = "0c8xzaa3ljqb6llr041sydw0l4xqn7x21nw9vaymdxh35nx9bp2v"; }; nativeBuildInputs = [ makeWrapper ]; |