Merge pull request #22016 from rasendubi/w3m

w3m: fix package name
2017-01-21 18:22:09 +00:00 · 2017-01-21 18:22:09 +00:00 · 80c1340b87
parent 52103deef1 09b3df542d
commit 80c1340b87
1 changed files with 1 additions and 1 deletions
--- a/pkgs/applications/networking/browsers/w3m/default.nix
+++ b/pkgs/applications/networking/browsers/w3m/default.nix
@ -15,7 +15,7 @@ assert mouseSupport -> gpm-ncurses != null;
 with stdenv.lib;

 stdenv.mkDerivation rec {
-  name = "w3m-v0.5.3+git20161120";
+  name = "w3m-0.5.3+git20161120";

  src = fetchFromGitHub {
    owner = "tats";