use tools/getversioninfo to extract the version number from the Python
sources
1 file changed