diff options
author | Robin Gloster <mail@glob.in> | 2017-07-18 18:43:47 +0200 |
---|---|---|
committer | Robin Gloster <mail@glob.in> | 2017-07-18 18:43:47 +0200 |
commit | adb178c0e5e7fea2bd2bfa8def7d4bd1d841b327 (patch) | |
tree | f251c795b496f8f19d9e9b581505926666b1994a /pkgs/desktops | |
parent | cb2344829fc0b34c6f2dcfb905cd7a582a4a553f (diff) |
gnomeExtensions.topicons-plus: fix version string
It has to start with a digit.
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/topicons-plus/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/topicons-plus/default.nix b/pkgs/desktops/gnome-3/extensions/topicons-plus/default.nix index 4612c35ad2500..4aedc10e056a7 100644 --- a/pkgs/desktops/gnome-3/extensions/topicons-plus/default.nix +++ b/pkgs/desktops/gnome-3/extensions/topicons-plus/default.nix @@ -2,7 +2,7 @@ stdenv.mkDerivation rec { name = "gnome-shell-extension-topicons-plus-${version}"; - version = "v20"; + version = "20"; src = fetchFromGitHub { owner = "phocean"; |