100644 blob 60495b628425558fbd727c7aa0bda5f3d1c7985a	Config.in
100644 blob 13659d2634f16e05acd4fceb199197fbb18679c3	python-websockets.hash
100644 blob cdac2485abb0a9fc53bb8f07921302d9a5bec067	python-websockets.mk