pyre: 0.0.11 -> 0.0.14

This commit is contained in:
Théo Zimmermann 2018-09-21 14:37:39 +02:00
parent 4eb077bed7
commit 7ff90cd103
No known key found for this signature in database
GPG key ID: F1744A0942F536C7

View file

@ -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 ];