Z3Prover / z3

Lines 10 to 14 in 8fe357f

    
           from distutils.util import get_platform 
        
           from distutils.errors import LibError 
        
           from distutils.command.build import build as _build 
        
           from distutils.command.sdist import sdist as _sdist 
        
           from distutils.command.clean import clean as _clean

Searching in the code base shows a tiny remaining code using distutils that is already deprecated in Python 3.12.

p.s. I have no idea how the code will be loaded, so I cannot trigger the error.

	from distutils.util import get_platform
	from distutils.errors import LibError
	from distutils.command.build import build as _build
	from distutils.command.sdist import sdist as _sdist
	from distutils.command.clean import clean as _clean

Remaining deprecated `distutils` in Python scripts.