Bug Description
The installation instructions say to install python3.6-dev, but there is no such package on Debian 10:
# apt install python3.6-dev
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package python3.6-dev
E: Couldn't find any package by glob 'python3.6-dev'
E: Couldn't find any package by regex 'python3.6-dev'
There is, however, a package called python3-dev, which I think is what we want:
# apt search python3-dev
Sorting... Done
Full Text Search... Done
games-python3-dev/stable 3 all
development of games in Python 3
libpython3-dev/stable 3.7.3-1 amd64
header files and a static library for Python (default)
python3-dev/stable 3.7.3-1 amd64
header files and a static library for Python (default)
python3-devpi-common/stable 3.2.2-1 all
PyPI server and packaging/testing/release tool - Common modules
Expected behavior
Docs should be exactly correct for those who don't know what they're doing, etc.
Local Configurations
This is a stock Debian 10 setup, nothing special.
Possible Solution
It looks like the package python3-dev exists in Ubuntu , and depends on python3.6-dev. So, it should be okay to change the package name in the install docs.
Bug Description
The installation instructions say to install
python3.6-dev, but there is no such package on Debian 10:There is, however, a package called
python3-dev, which I think is what we want:Expected behavior
Docs should be exactly correct for those who don't know what they're doing, etc.
Local Configurations
This is a stock Debian 10 setup, nothing special.
Possible Solution
It looks like the package
python3-devexists in Ubuntu , and depends onpython3.6-dev. So, it should be okay to change the package name in the install docs.