Merge pull request #82724 from mweinelt/pr/zsh-powerlevel10k/1.4.0

zsh-powerlevel10k: v1.3.0 → v1.4.0
This commit is contained in:
Jörg Thalheim 2020-03-16 16:13:11 +00:00 committed by GitHub
commit 7819588348
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions

View file

@ -2,7 +2,7 @@
stdenv.mkDerivation {
pname = "gitstatus";
version = "unstable-2020-03-06";
version = "unstable-2020-03-15";
src = fetchFromGitHub {
owner = "romkatv";

View file

@ -5,13 +5,13 @@
stdenv.mkDerivation rec {
pname = "powerlevel10k";
version = "1.3.0";
version = "1.4.0";
src = fetchFromGitHub {
owner = "romkatv";
repo = "powerlevel10k";
rev = "v${version}";
sha256 = "1w2iy9anc3cxb5kffrdz8knml8nsl6v3lcrdsigfzfp0zignb4cw";
sha256 = "03v8qlblgdazbm16gwr87blm5nxizza61f8w6hjyhgrx51ly9ln5";
};
patches = [