diff options
Diffstat (limited to 'pkgs/desktops/gnome-3/3.18/core/gnome-user-docs/src.nix')
| -rw-r--r-- | pkgs/desktops/gnome-3/3.18/core/gnome-user-docs/src.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/desktops/gnome-3/3.18/core/gnome-user-docs/src.nix b/pkgs/desktops/gnome-3/3.18/core/gnome-user-docs/src.nix index 0187516061b..61bbcf576ce 100644 --- a/pkgs/desktops/gnome-3/3.18/core/gnome-user-docs/src.nix +++ b/pkgs/desktops/gnome-3/3.18/core/gnome-user-docs/src.nix @@ -1,10 +1,10 @@ # Autogenerated by maintainers/scripts/gnome.sh update fetchurl: { - name = "gnome-user-docs-3.18.0"; + name = "gnome-user-docs-3.18.1"; src = fetchurl { - url = mirror://gnome/sources/gnome-user-docs/3.18/gnome-user-docs-3.18.0.tar.xz; - sha256 = "c515d2c8b051ffb05ec497e4231d1ceecec824dc4fca45425d21295bb592e952"; + url = mirror://gnome/sources/gnome-user-docs/3.18/gnome-user-docs-3.18.1.tar.xz; + sha256 = "83e52528de6afe4412679d7fd8c7f8124b07770b4e291592f24e9e50657efae4"; }; } |