Frederik Rietdijk 7d4a8626eb python: jsonrpc-websocket: 0.6 -> 1.0.0		2018-07-22 16:52:43 +02:00
..
default.nix	python: jsonrpc-websocket: 0.6 -> 1.0.0	2018-07-22 16:52:43 +02:00