message: Gudhi version 3.1.1
diff: @@ -57,9 +57,9 @@ RUN pip3 install \
  # apt clean up
  RUN apt autoremove && rm -rf /var/lib/apt/lists/*
  -RUN curl -LO "https://github.com/GUDHI/gudhi-devel/releases/download/tags%2Fgudhi-release-3.1.0/gudhi.3.1.0.tar.gz" \
  -&& tar xf gudhi.3.1.0.tar.gz \
  -&& cd gudhi.3.1.0 \
  +RUN curl -LO "https://github.com/GUDHI/gudhi-devel/releases/download/tags%2Fgudhi-release-3.1.1/gudhi.3.1.1.tar.gz" \
  +&& tar xf gudhi.3.1.1.tar.gz \
  +&& cd gudhi.3.1.1 \
  && mkdir build && cd build && cmake -DCMAKE_BUILD_TYPE=Release -DWITH_GUDHI_PYTHON=OFF -DPython_ADDITIONAL_VERSIONS=3 .. \
  && make all test install \
  && cmake -DWITH_GUDHI_PYTHON=ON . \
  