public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #47116 from Zimmi48/pyre-0.0.14 

pyre: 0.0.11 -> 0.0.14
This commit is contained in:
Jörg Thalheim 2018-09-21 16:32:26 +01:00 committed by GitHub
parent 53ac7e5f2f 7ff90cd103
commit a15c96d244
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/tools/pyre/default.nix
View File

@ -3,7 +3,7 @@
let let
# Manually set version - the setup script requires # Manually set version - the setup script requires
# hg and git + keeping the .git directory around. # hg and git + keeping the .git directory around.
pyre-version = "0.0.11"; pyre-version = "0.0.14";
versionFile = writeScript "version.ml" '' versionFile = writeScript "version.ml" ''
cat > "./version.ml" <<EOF cat > "./version.ml" <<EOF
open Core open Core
@ -24,7 +24,7 @@ let
owner = "facebook"; owner = "facebook";
repo = "pyre-check"; repo = "pyre-check";
rev = "v${pyre-version}"; rev = "v${pyre-version}";
sha256 = "0ig7bx2kfn2kbxw74wysh5365yp5gyby42l9l29iclrzdghgk32l"; sha256 = "0c8xzaa3ljqb6llr041sydw0l4xqn7x21nw9vaymdxh35nx9bp2v";
}; };
nativeBuildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];