The version you requested (3.13.0-32.57) is not available, but a newer one is (3.13.0-166.216). We redirected you there.
This file is indexed.

/usr/share/pyshared/execnet/script/xx.py is in python-execnet 1.0.9-0.1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

1
2
3
4
5
6
7
8
9
import rlcompleter2
rlcompleter2.setup()

import register, sys
try:
    hostport = sys.argv[1]
except:
    hostport = ':8888'
gw = register.ServerGateway(hostport)