diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2018-12-02 20:26:22 -0500 |
---|---|---|
committer | Mario Rodas <marsam@users.noreply.github.com> | 2018-12-02 20:29:45 -0500 |
commit | 5058d365a1876614ca2a48d8ced389ab032664d2 (patch) | |
tree | 4b7778cba9751ea09d85394293adabc8a9ad2e4a /pkgs/development/tools | |
parent | cee7969561c2b0d30e9c8e5ed6360f022d5d057e (diff) | |
download | nixpkgs-5058d365a1876614ca2a48d8ced389ab032664d2.tar nixpkgs-5058d365a1876614ca2a48d8ced389ab032664d2.tar.gz nixpkgs-5058d365a1876614ca2a48d8ced389ab032664d2.tar.bz2 nixpkgs-5058d365a1876614ca2a48d8ced389ab032664d2.tar.lz nixpkgs-5058d365a1876614ca2a48d8ced389ab032664d2.tar.xz nixpkgs-5058d365a1876614ca2a48d8ced389ab032664d2.tar.zst nixpkgs-5058d365a1876614ca2a48d8ced389ab032664d2.zip |
pyre: 0.0.17 -> 0.0.18
Diffstat (limited to 'pkgs/development/tools')
-rw-r--r-- | pkgs/development/tools/pyre/default.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/pkgs/development/tools/pyre/default.nix b/pkgs/development/tools/pyre/default.nix index 02772f9f791..c71e9e821da 100644 --- a/pkgs/development/tools/pyre/default.nix +++ b/pkgs/development/tools/pyre/default.nix @@ -3,12 +3,12 @@ let # Manually set version - the setup script requires # hg and git + keeping the .git directory around. - pyre-version = "0.0.17"; # also change typeshed revision below with $pyre-src/.typeshed-version + pyre-version = "0.0.18"; # also change typeshed revision below with $pyre-src/.typeshed-version pyre-src = fetchFromGitHub { owner = "facebook"; repo = "pyre-check"; rev = "v${pyre-version}"; - sha256 = "0y86a3g5xbgh0byksyx5jw7yq7w840x85dhz9inz6mkg5j06mcis"; + sha256 = "1sy1lk9j3hq20dabfkr9s4r7prrcndrs345a5iqz6yzvakr4r74d"; }; versionFile = writeScript "version.ml" '' cat > "./version.ml" <<EOF @@ -21,6 +21,7 @@ let let log_version_banner () = Log.info "Running as pid: %d" (Pid.to_int (Unix.getpid ())); Log.info "Version: %s" (version ()); + Log.info "Build info: %s" (build_info ()) EOF ''; pyre-bin = stdenv.mkDerivation { |