Update Dockerfile

hypro · Sep 9, 2024 · 57d501d · 57d501d
1 parent 717ecb7
commit 57d501d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -1,6 +1,8 @@
 #FROM fefrei/carl:19.01
 #FROM smtrat/carl:latest
-FROM stefanschupp/carl:hscc23
+#FROM stefanschupp/carl:hscc23
+FROM hyprodockeruser/carl:v1
+
 RUN apt-get update \
     && apt-get install -y \
     gcc \