| 
								
								
									 Tobias Geerinckx-Rice | 1860b41523 | 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. | 2020-06-05 19:33:10 +02:00 |  |