100644 blob 7d80161a1ad56cdb3e89e18b3dc9400a2e2e5157	Config.in
100644 blob 18947cc60a65409f8f8e6daea2f17e67206cce3e	python-websockets.hash
100644 blob 7c5cf8c4e7d581d27b059592d4261a0abd8dc5f3	python-websockets.mk