Merge pull request #32 from VincentRouvreau/docker_gudhi_3.9.0

gudhi 3.9.0
GUDHI · Dec 22, 2023 · fa3ae93 · fa3ae93
2 parents 79a4df9 + d210da5
commit fa3ae93
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 \