81bb71f08c44faf741a42df59b2aba68  python.readline.set_pre_input_hook.diff.gz