From 37748e32b96499328dc250a0f7d52636b63138bf Mon Sep 17 00:00:00 2001
From: Juri Dispan <juri.dispan@uni-ulm.de>
Date: Wed, 6 Sep 2023 10:19:35 +0200
Subject: [PATCH] fix link to download mpir 3.0.0

---
 Documentation/Installation.tex | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Documentation/Installation.tex b/Documentation/Installation.tex
index 10a58104..b8e823da 100644
--- a/Documentation/Installation.tex
+++ b/Documentation/Installation.tex
@@ -12,6 +12,7 @@ \subsection{Installation}\label{subsec:install}
 \item Crypto++: Tested with version 7.0
 \item yasm (for MPIR)
 \item m4 (for MPIR)
+\item autotools-dev, autoconf, libtool, texinfo (for MPIR)
 \item A Rust compiler of at least version 1.47.0.
 We use the nightly build, so we strongly recommend using this
 as we use a lot of new features in various places.
@@ -81,9 +82,10 @@ \subsubsection{Installing MPIR, OpenSSL and Crypto++}
     cd ${mylocal}
 
     # install MPIR 3.0.0
-    curl -O 'http://mpir.org/mpir-3.0.0.tar.bz2'
+    curl -O 'https://github.com/wbhart/mpir/archive/refs/tags/mpir-3.0.0.tar.gz'
     tar xf mpir-3.0.0.tar.bz2
-    cd mpir-3.0.0
+    cd mpir-mpir-3.0.0
+    ./autogen.sh
     ./configure --enable-cxx --prefix="${mylocal}/mpir"
     make && make check && make install