From f1c0fc75356db04f32ef70be4a6c2e8a9ea8faf9 Mon Sep 17 00:00:00 2001
From: patritzenfeld <patrick.ritzenfeld@uni-due.de>
Date: Fri, 12 Jun 2026 16:07:30 +0200
Subject: [PATCH] replace removed ghcup command aliases

---
 Dockerfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 52c0613c..61a45141 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -27,9 +27,9 @@ ENV PATH=$CODEWORLD_DIR/.cabal/bin:$PATH
 RUN <<PREPARE_INSTALLATION
 set -e
 ghcup upgrade
-ghcup install 8.6.5
-ghcup set 8.6.5
-ghcup install-cabal 2.4.1.0
+ghcup install ghc 8.6.5
+ghcup set ghc 8.6.5
+ghcup install cabal 2.4.1.0
 
 
 cabal update --index-state='2023-02-09T01:33:22Z'