Merge pull request #167015 from bobby285271/gnome

gnome.gedit: 41.0 -> 42.0
This commit is contained in:
Bobby Rong 2022-04-07 20:32:30 +08:00 committed by GitHub
commit d5e040fdf8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,6 +5,7 @@
, python3
, pkg-config
, gtk3
, gtk-mac-integration
, glib
, adwaita-icon-theme
, libpeas
@ -24,11 +25,11 @@
stdenv.mkDerivation rec {
pname = "gedit";
version = "41.0";
version = "42.0";
src = fetchurl {
url = "mirror://gnome/sources/gedit/${lib.versions.major version}/${pname}-${version}.tar.xz";
sha256 = "epsYsViAjRiSmJFl83BsTxooKXkHmrdFinnTwkrU3rU=";
sha256 = "qHmR9Clh609qvNuqu3hHYMI66u765jY9PiGmHpxFhDc=";
};
patches = [
@ -59,6 +60,8 @@ stdenv.mkDerivation rec {
gtksourceview4
libpeas
libsoup
] ++ lib.optionals stdenv.isDarwin [
gtk-mac-integration
];
postPatch = ''