From 5a29aa4120663487b2b8362f7da0a9b6a536da14 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Dietrich?= Date: Tue, 5 Nov 2024 08:31:26 +0100 Subject: [PATCH] removed octave and coq --- Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Dockerfile b/Dockerfile index 3f27686..9a1ba77 100644 --- a/Dockerfile +++ b/Dockerfile @@ -221,10 +221,10 @@ RUN DEBIAN_FRONTEND=noninteractive apt-get install -y iverilog RUN DEBIAN_FRONTEND=noninteractive apt-get install -y ghdl ### Octave -RUN DEBIAN_FRONTEND=noninteractive apt-get install -y octave +#RUN DEBIAN_FRONTEND=noninteractive apt-get install -y octave ### COQ -RUN DEBIAN_FRONTEND=noninteractive apt-get install -y coq +#RUN DEBIAN_FRONTEND=noninteractive apt-get install -y coq ############################################################################################# COPY . /coderunner