diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-09-21 14:37:39 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-09-21 14:37:39 +0200 |
commit | 7ff90cd103c2fca386ed085afb0559380996d239 (patch) | |
tree | aaaf74835ea8bc0619da22de2d914ee3d802353f /pkgs/development/tools/pyre | |
parent | 4eb077bed72e3ad0fe5ba5150931d45fa1296429 (diff) | |
download | nixlib-7ff90cd103c2fca386ed085afb0559380996d239.tar nixlib-7ff90cd103c2fca386ed085afb0559380996d239.tar.gz nixlib-7ff90cd103c2fca386ed085afb0559380996d239.tar.bz2 nixlib-7ff90cd103c2fca386ed085afb0559380996d239.tar.lz nixlib-7ff90cd103c2fca386ed085afb0559380996d239.tar.xz nixlib-7ff90cd103c2fca386ed085afb0559380996d239.tar.zst nixlib-7ff90cd103c2fca386ed085afb0559380996d239.zip |
pyre: 0.0.11 -> 0.0.14
Diffstat (limited to 'pkgs/development/tools/pyre')
-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 ]; |