tox.ini: debian-bullseye, -sid have Python3.8 instead of 3.7 #29851
Description
As per the wiki, running
build/bin/write-dockerfile.sh debian "@(standard|optional)" > Dockerfile
Generates a Dockerfile, but running the dockerfile fails because Debian (at least) comes with Python3.8, not 3.7. This can be fixed by changing the file build/pkgs/python3/distros/debian.txt, but I don't know if that will have unexpected consequences.
Component: porting
Author: Matthias Koeppe
Branch/Commit: 1e7becc
Reviewer: Jonathan Kliem
Issue created by migration from https://trac.sagemath.org/ticket/29851