diff --git a/base/Dockerfile b/base/Dockerfile index 5b567379bc6bef7c289a818c254217452af5151f..97d89569cffb415494b6de10ae3fb5957be5df27 100644 --- a/base/Dockerfile +++ b/base/Dockerfile @@ -21,17 +21,9 @@ RUN ln -sf /usr/share/zoneinfo/Europe/Zurich /etc/localtime ENV DEBIAN_FRONTEND=noninteractive RUN apt-get update --yes && \ apt-get install --yes \ - cmake \ - csh \ - curl \ - cython \ gcc \ - gettext \ - llvm \ - lsof \ - mpich \ r-base \ - swig \ + lsof \ vim && \ apt-get clean && rm -rf /var/lib/apt/lists/*