Merge pull request #77092 from worldofpeace/pantheon-update-jan-6

[ci] pantheon.elementary-terminal: 5.4.0 -> 5.5.0, pantheon.elementary-gtk-theme: 5.3.0 -> 5.4.0
This commit is contained in:
worldofpeace 2020-01-07 02:22:09 -05:00 committed by GitHub
commit f55ec6fd69
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View file

@ -20,7 +20,7 @@
stdenv.mkDerivation rec {
pname = "elementary-terminal";
version = "5.4.0";
version = "5.5.0";
repoName = "terminal";
@ -28,7 +28,7 @@ stdenv.mkDerivation rec {
owner = "elementary";
repo = repoName;
rev = version;
sha256 = "1rj4hrg5qljsv11apgdp0x4dazlfmjq3s0lk0dvwjvh9nqkr6jbw";
sha256 = "1wna3kcg621qjyvg70dzk4lfq8si2snnlm9fnl5gj0w6b707gz2x";
};
passthru = {

View file

@ -8,7 +8,7 @@
stdenv.mkDerivation rec {
pname = "elementary-gtk-theme";
version = "5.3.0";
version = "5.4.0";
repoName = "stylesheet";
@ -16,7 +16,7 @@ stdenv.mkDerivation rec {
owner = "elementary";
repo = repoName;
rev = version;
sha256 = "0kxzgqgzbkwi0h4r7zc5yl57k8cm165d1ki1nzmb442wp42q438y";
sha256 = "0dh7lqc9b4ciyzbphqw071xcg742fvlc7gz9l1q3nqjsa2k6xg80";
};
passthru = {