title: Difference between python3.7-dev and python3-dev header files
body: <p>What is the difference between the header files of the python3-dev and python3.x-dev packages. Is it ok to replace with python3-dev a more specific version (e.x 3.7) ?</p>