diff --git a/.docker/Dockerfile b/.docker/Dockerfile index f91c47e147d1180c73af3ce490d5a934db17d583..9573afc78e4386d92fd9ae9174f556d40cf7f05c 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -10,4 +10,5 @@ RUN apt-get install -y python3-pip COPY doc/requirements.txt requirements.txt RUN pip3 install -r requirements.txt +RUN apt-get install -y cmake=3.16.3-3~bpo10+1