diff --git a/.docker/Dockerfile b/.docker/Dockerfile index 8b47e7657c10d2a5d76acf12be3ba73312281a82..00bb74e1a058b86edbe019704c710b9224f0c691 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -1,8 +1,7 @@ FROM julia:1.6 -RUN echo 'deb http://deb.debian.org/debian buster-backports main' > /etc/apt/sources.list.d/buster-backports.list RUN apt-get update -RUN apt-get install -y cmake/buster-backports +RUN apt-get install -y cmake RUN apt-get install -y git RUN apt-get install -y python3-pip RUN apt-get install -y curl