From 7ff90cd103c2fca386ed085afb0559380996d239 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= Date: Fri, 21 Sep 2018 14:37:39 +0200 Subject: [PATCH] pyre: 0.0.11 -> 0.0.14 --- pkgs/development/tools/pyre/default.nix | 4 ++-- 1 file 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" <