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

pantheon.elementary-gtk-theme: 7.1.0 -> 7.2.0

Browse source 
https://github.com/elementary/stylesheet/releases/tag/7.2.0
This commit is contained in:
Bobby Rong 2023-04-26 10:27:16 +08:00
parent 884ac29401
commit 737243dd1f
No known key found for this signature in database
1 changed files with 12 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
pkgs/desktops/pantheon/artwork/elementary-gtk-theme/default.nix
View file

@ -1,6 +1,7 @@
{ lib
, stdenvNoCC
, fetchFromGitHub
, fetchpatch
, nix-update-script
, gettext
, meson
@ -11,15 +12,24 @@
stdenvNoCC.mkDerivation rec {
pname = "elementary-gtk-theme";
version = "7.1.0";
version = "7.2.0";
src = fetchFromGitHub {
owner = "elementary";
repo = "stylesheet";
rev = version;
sha256 = "sha256-AFiREZ4pDIwQ4OeZDIHEJUNSeUsMjAlDd5h0pB0ilNw=";
sha256 = "sha256-ZR0FJ8DkPlO1Zatvxv3NghAVBPo2j+1m0k4C+gvYPVA=";
};
patches = [
# Headerbars: fix missing default-decoration
# https://github.com/elementary/stylesheet/pull/1258
(fetchpatch {
url = "https://github.com/elementary/stylesheet/commit/9cea2383bec8f90d25f1e9b854b5221737487521.patch";
sha256 = "sha256-6komROS4+nxwoGoKoiDmnrTfLNZAvnTU6hIEOQQfmxc=";
})
];
nativeBuildInputs = [
gettext
meson