diff --git a/Dockerfile b/Dockerfile index 74df5b8ef6310271af14ed22d07e8ef53d5b00e8..55e2813b1c79a989a9d440361b13df5ad0d5220b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -FROM debian:11 +FROM debian:12 # e.g. 5.41.0 ARG MAXIMA_VERSION