From cdf9fea872014b76534285d3f74a30bbf9a1dfae Mon Sep 17 00:00:00 2001
From: Lennart Kramer <lennart.kramer@stud.uni-goettingen.de>
Date: Tue, 31 Oct 2023 20:00:23 +0100
Subject: [PATCH] change docker debian version 11 -> 12

12 is the new stable version
---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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