100644 blob 888bec616fcd3de2315f88b76ec643e531aa402b	Config.in
100644 blob ec387c9ab70c88cb8866858338d257ad675149de	python-websockets.hash
100644 blob 013881f95a67b5edbfaa9e59a528f9051a49b469	python-websockets.mk