diff options
author | Jascha Geerds <jascha@jgeerds.name> | 2016-01-22 14:03:13 +0100 |
---|---|---|
committer | Jascha Geerds <jascha@jgeerds.name> | 2016-01-22 14:11:44 +0100 |
commit | 843bc26c4dd3c6612aa0810731786cc40e47b710 (patch) | |
tree | 78e3abf6d9b1bcdf12d0bc883bff10f3a07aa8a2 /pkgs/desktops/gnome-3 | |
parent | 23b3276ba9e36c43263ec4c392b958b0491b10f2 (diff) |
gnome3.gedit: 3.18.2 -> 3.18.3
Diffstat (limited to 'pkgs/desktops/gnome-3')
-rw-r--r-- | pkgs/desktops/gnome-3/3.18/apps/gedit/src.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/desktops/gnome-3/3.18/apps/gedit/src.nix b/pkgs/desktops/gnome-3/3.18/apps/gedit/src.nix index e368fd2cdd980..167acabee9171 100644 --- a/pkgs/desktops/gnome-3/3.18/apps/gedit/src.nix +++ b/pkgs/desktops/gnome-3/3.18/apps/gedit/src.nix @@ -1,10 +1,10 @@ # Autogenerated by maintainers/scripts/gnome.sh update fetchurl: { - name = "gedit-3.18.2"; + name = "gedit-3.18.3"; src = fetchurl { - url = mirror://gnome/sources/gedit/3.18/gedit-3.18.2.tar.xz; - sha256 = "856e451aec29ee45980011de57cadfe89c3cbc53968f6cc865f8efe0bd0d49b1"; + url = mirror://gnome/sources/gedit/3.18/gedit-3.18.3.tar.xz; + sha256 = "6762ac0d793b0f754a2da5f88739d04fa39daa7491c5c46401d24bcef76c32e7"; }; } |