gnu: websocketpp: Update to 0.8.2.
authorTobias Geerinckx-Rice <me@tobias.gr>
Fri, 5 Jun 2020 16:45:11 +0000 (18:45 +0200)
committerTobias Geerinckx-Rice <me@tobias.gr>
Fri, 5 Jun 2020 17:33:10 +0000 (19:33 +0200)
commit1860b4152360a18ac562690c1f541e53537bf262
tree47e408c17c4b574ae74561b1ec9e0bd50dd8a260
parent53428597a690b409cdb66070ca4397ed76015e20
gnu: websocketpp: Update to 0.8.2.

* gnu/packages/web.scm (websocketpp): Update to 0.8.2.
[source]: Replace patch.
* gnu/packages/patches/websocketpp-fix-for-boost-1.70.patch: Delete file.
* gnu/packages/patches/websocketpp-fix-for-cmake-3.15.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
gnu/local.mk
gnu/packages/patches/websocketpp-fix-for-boost-1.70.patch [deleted file]
gnu/packages/patches/websocketpp-fix-for-cmake-3.15.patch [new file with mode: 0644]
gnu/packages/web.scm