Merge pull request #174848 from r-ryantm/auto-update/gnome.gedit

gnome.gedit: 42.0 -> 42.1
This commit is contained in:
Bobby Rong 2022-05-27 12:27:31 +08:00 committed by GitHub
commit 7cd44cf022
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -25,11 +25,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gedit"; pname = "gedit";
version = "42.0"; version = "42.1";
src = fetchurl { src = fetchurl {
url = "mirror://gnome/sources/gedit/${lib.versions.major version}/${pname}-${version}.tar.xz"; url = "mirror://gnome/sources/gedit/${lib.versions.major version}/${pname}-${version}.tar.xz";
sha256 = "qHmR9Clh609qvNuqu3hHYMI66u765jY9PiGmHpxFhDc="; sha256 = "fx/UPfURDUw33mVBmT9B8PvD78eQkA6SBTR5ugaZIOk=";
}; };
patches = [ patches = [