From e6ebd0553c6c082aab41232c3770a9428c3c0789 Mon Sep 17 00:00:00 2001 From: Tom Hunger Date: Sun, 31 Mar 2019 15:22:43 +0100 Subject: [PATCH] pyre: 0.0.20 -> 0.0.22 --- pkgs/development/tools/pyre/default.nix | 19 +++++++++++++++---- 1 file changed, 15 insertions(+), 4 deletions(-) diff --git a/pkgs/development/tools/pyre/default.nix b/pkgs/development/tools/pyre/default.nix index 7ae95679482f..b5dfe3c8bfd9 100644 --- a/pkgs/development/tools/pyre/default.nix +++ b/pkgs/development/tools/pyre/default.nix @@ -1,14 +1,14 @@ { stdenv, fetchFromGitHub, ocamlPackages, writeScript -, dune, python3, rsync, buck, watchman }: +, dune, python3, rsync, buck, watchman, sqlite }: let # Manually set version - the setup script requires # hg and git + keeping the .git directory around. - pyre-version = "0.0.20"; # also change typeshed revision below with $pyre-src/.typeshed-version + pyre-version = "0.0.22"; # also change typeshed revision below with $pyre-src/.typeshed-version pyre-src = fetchFromGitHub { owner = "facebook"; repo = "pyre-check"; rev = "v${pyre-version}"; - sha256 = "1alkhdhvmigdhxvvarh0lr5s3b1s6q4arykip2dqb62vs8064s17"; + sha256 = "057vy6zmgwsi0ag9n4m6sszhahmfk2s1ywm36nyfs7w4d0wnk92s"; }; versionFile = writeScript "version.ml" '' cat > "./version.ml" <