removed octave and coq

LiaScript · Nov 5, 2024 · 5a29aa4 · 5a29aa4
1 parent f016541
commit 5a29aa4
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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