From 4585ff1a9a68e6675cb3c2a20eaeedf041608bcb Mon Sep 17 00:00:00 2001 From: Izorkin Date: Thu, 12 Jul 2018 09:45:54 +0300 Subject: [PATCH] zsh-command-time: 2017-05-09 -> 2018-04-30 --- pkgs/shells/zsh/zsh-command-time/default.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/shells/zsh/zsh-command-time/default.nix b/pkgs/shells/zsh/zsh-command-time/default.nix index 453a57744071..390039944c09 100644 --- a/pkgs/shells/zsh/zsh-command-time/default.nix +++ b/pkgs/shells/zsh/zsh-command-time/default.nix @@ -8,14 +8,14 @@ # ''; stdenv.mkDerivation rec { - version = "2017-05-09"; + version = "2018-04-30"; name = "zsh-command-time-${version}"; src = fetchFromGitHub { owner = "popstas"; repo = "zsh-command-time"; - rev = "2111361cbc88c542c834fbab7802ae5ae8339824"; - sha256 = "0hr9c7196wy9cg7vkmknszr2h446yvg9pqrq0rf3213kz074dhpg"; + rev = "afb4a4c9ae7ce64ca9d4f334a79a25e46daad0aa"; + sha256 = "1bvyjgz6bhgg1nwr56r50p6fblgah6yiql55pgm5abnn2h876fjq"; }; installPhase = ''