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