BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

zsh-command-time: 2017-05-09 -> 2018-04-30

Browse source
This commit is contained in:
Izorkin 2018-07-12 09:45:54 +03:00
parent 24429d66a3
commit 4585ff1a9a
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
pkgs/shells/zsh/zsh-command-time/default.nix
View file

@ -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 = ''