JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #43404 from Izorkin/shells-zsh-command-time

Browse Source 
zsh-command-time: 2017-05-09 -> 2018-04-30
This commit is contained in:
Jörg Thalheim 2018-07-12 07:18:31 -04:00 committed by GitHub
commit b19efb6aee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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 = ''