diff options
Diffstat (limited to 'pkgs/desktops/gnome-3/3.20/core/gnome-user-share/src.nix')
| -rw-r--r-- | pkgs/desktops/gnome-3/3.20/core/gnome-user-share/src.nix | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/3.20/core/gnome-user-share/src.nix b/pkgs/desktops/gnome-3/3.20/core/gnome-user-share/src.nix new file mode 100644 index 000000000000..b748091af68d --- /dev/null +++ b/pkgs/desktops/gnome-3/3.20/core/gnome-user-share/src.nix @@ -0,0 +1,12 @@ +# Autogenerated by maintainers/scripts/gnome.sh update + +fetchurl: rec { + major = "3.18"; + minor = "1"; + name = "gnome-user-share-${major}.${minor}"; + + src = fetchurl { + url = "mirror://gnome/sources/gnome-user-share/${major}/${name}.tar.xz"; + sha256 = "1p9cz93jbfx4a5gxfk54jm0sxddm73lrag92h3qgpgfrmp7xlr1y"; + }; +} |