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.
CC: @dimpase @kliem
Component: porting
Author: Matthias Koeppe
Branch/Commit: 1e7becc
Reviewer: Jonathan Kliem
Issue created by migration from https://trac.sagemath.org/ticket/29851