Merge pull request #53713 from andir/websocketpp

websocketpp: 0.7.0 -> 0.8.1
This commit is contained in:
Dmitry Kalinkin 2019-01-09 17:11:13 -05:00 committed by GitHub
commit 95ba471110
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "websocket++-${version}";
version = "0.7.0";
version = "0.8.1";
src = fetchFromGitHub {
owner = "zaphoyd";
repo = "websocketpp";
rev = version;
sha256 = "1i64sps52kvy8yffysjbmmbb109pi28kqai0qdxxz1dcj3xfckqd";
sha256 = "12ffczcrryh74c1xssww35ic6yiy2l2xgdd30lshiq9wnzl2brgy";
};
buildInputs = [ cmake ];