diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2019-01-31 10:36:36 -0500 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2019-02-01 08:34:35 +0000 |
commit | 3613654a1fe8b49704f34c40047e6e1392164ead (patch) | |
tree | d2e399a155e80462bb6ebc8f0e354a9619d5bf2e /pkgs/development/tools/pyre | |
parent | 8f58e00226e3192994050b12aa9ed119be0220f3 (diff) |
pyre: 0.0.18 -> 0.0.20
Diffstat (limited to 'pkgs/development/tools/pyre')
-rw-r--r-- | pkgs/development/tools/pyre/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/development/tools/pyre/default.nix b/pkgs/development/tools/pyre/default.nix index a93dedded29..7ae95679482 100644 --- a/pkgs/development/tools/pyre/default.nix +++ b/pkgs/development/tools/pyre/default.nix @@ -3,12 +3,12 @@ let # Manually set version - the setup script requires # hg and git + keeping the .git directory around. - pyre-version = "0.0.18"; # also change typeshed revision below with $pyre-src/.typeshed-version + pyre-version = "0.0.20"; # also change typeshed revision below with $pyre-src/.typeshed-version pyre-src = fetchFromGitHub { owner = "facebook"; repo = "pyre-check"; rev = "v${pyre-version}"; - sha256 = "1sy1lk9j3hq20dabfkr9s4r7prrcndrs345a5iqz6yzvakr4r74d"; + sha256 = "1alkhdhvmigdhxvvarh0lr5s3b1s6q4arykip2dqb62vs8064s17"; }; versionFile = writeScript "version.ml" '' cat > "./version.ml" <<EOF @@ -83,8 +83,8 @@ typeshed = stdenv.mkDerivation { src = fetchFromGitHub { owner = "python"; repo = "typeshed"; - rev = "bc3f9fe1d3c43b00c04cedb23e0eeebc9e1734b6"; - sha256 = "06b2kj4n49h4sgi8hn5kalmir8llhanfdc7f1924cxvrkj5ry94b"; + rev = "0b49ce75b478fdf283dda5dd1368759ac342dfe2"; + sha256 = "1w5aqbbcfk5ki8n9fgdikkyadjb318ipqyi517s9xnwlzi1jv0fh"; }; phases = [ "unpackPhase" "installPhase" ]; installPhase = "cp -r $src $out"; |