100644 blob 60495b628425558fbd727c7aa0bda5f3d1c7985a	Config.in
100644 blob cec1d1599cce9c52f7d145dc455f5cb721c0ba2a	python-websockets.hash
100644 blob 9f4c5f1da7e92fcef803c7bbe4ccdfddf8dda60b	python-websockets.mk