diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-09-16 23:28:58 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-09-16 23:31:07 +0200 |
commit | 59487fc29ae4119bdf5d270f29176cbf4b300012 (patch) | |
tree | 2c7eb36fb427de8cf86948d7a8eca34b4327ae78 /gnu | |
parent | c34671a69dcc6fc508c54822580e68095c6e719c (diff) |
gnu: libgtop: Don't use NAME in source URI.
* gnu/packages/gnome.scm (libgtop)[source]: Hard-code NAME.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/gnome.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index f2edf92bd1..0cac850eb4 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -5915,9 +5915,9 @@ providing graphical log-ins and managing local and remote displays.") (version "2.38.0") (source (origin (method url-fetch) - (uri (string-append "mirror://gnome/sources/" name "/" + (uri (string-append "mirror://gnome/sources/libgtop/" (version-major+minor version) "/" - name "-" version ".tar.xz")) + "libgtop-" version ".tar.xz")) (sha256 (base32 "04mnxgzyb26wqk6qij4iw8cxwl82r8pcsna5dg8vz2j3pdi0wv2g")))) |