Merge pull request #56802 from dtzWill/update/w3m-20190105

w3m: 0.5.3+git20180125 -> 0.5.3+git20190105
This commit is contained in:
Will Dietz 2019-03-17 00:54:11 -05:00 committed by GitHub
commit 066b7073b4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -25,13 +25,14 @@ let
'';
};
in stdenv.mkDerivation rec {
name = "w3m-0.5.3+git20180125";
pname = "w3m";
version = "0.5.3+git20190105";
src = fetchFromGitHub {
owner = "tats";
repo = "w3m";
rev = "v0.5.3+git20180125";
sha256 = "0dafdfx1yhrvhbqzslkcapj09dvf64m2jadz3wl2icni0k4msq90";
repo = pname;
rev = "v${version}";
sha256 = "1fbg2p8qh2gvi3g4iz4q6vc0k70pf248r4yndi5lcn2m3mzvjx0i";
};
NIX_LDFLAGS = optionalString stdenv.isSunOS "-lsocket -lnsl";