diff --git a/Dockerfile b/Dockerfile index f215c1480a7ee7c8df120652b7134f35916312b4..d6c38b72c63bbecb16a8bad9639512ab5dbb9543 100644 --- a/Dockerfile +++ b/Dockerfile @@ -8,17 +8,17 @@ ENV DEBIAN_FRONTEND noninteractive RUN apt-get -qq update \ && apt-get -qq -y install --no-install-recommends \ - build-essential=12.8ubuntu1.1 \ - git=1:2.25.1-1ubuntu3.1 \ - ninja-build=1.10.0-1build1 \ - openscad=2019.05-3ubuntu5 \ - pkg-config=0.29.1-0ubuntu4 \ - python3-pip=20.0.2-5ubuntu1.5 \ - python3-venv=3.8.2-0ubuntu2 \ + build-essential=12.* \ + git=1:2.* \ + openscad=2019.* \ + pkg-config=0.29.* \ + python3-pip=20.* \ + python3-venv=3.8.* \ && apt-get clean && rm -rf /var/lib/apt/lists/* \ && pip3 install --no-cache-dir \ - cmake==3.21.0 \ - conan==1.38 + cmake==3.21.2 \ + conan==1.39 \ + ninja==1.10.2 CMD [ "/bin/bash" ]