100644 blob 60495b628425558fbd727c7aa0bda5f3d1c7985a	Config.in
100644 blob 62c7cb8467e7d08c1e85fb83ce22cbe669869113	python-websockets.hash
100644 blob 7f721220a5a2e8d61c9f3cc4fc6d42e045cadc6c	python-websockets.mk