diff --git a/Dockerfile_for_gudhi_installation b/Dockerfile_for_gudhi_installation index efac477..7cdd465 100644 --- a/Dockerfile_for_gudhi_installation +++ b/Dockerfile_for_gudhi_installation @@ -42,7 +42,7 @@ RUN pip3 install \ # apt clean up RUN apt-get autoremove && rm -rf /var/lib/apt/lists/* -ARG GUDHI_VERSION="3.8.0" +ARG GUDHI_VERSION="3.9.0" RUN curl -LO "https://github.com/GUDHI/gudhi-devel/releases/download/tags%2Fgudhi-release-${GUDHI_VERSION}/gudhi.${GUDHI_VERSION}.tar.gz" \ && tar xf gudhi.${GUDHI_VERSION}.tar.gz \