mpir: change src location to GitHub

The official website appears to be a virus site now.

Signed-off-by: Lisanna Dettwyler <lisanna.dettwyler@gmail.com>

pkgs/by-name/mp/mpir/package.nix

@@ -1,10 +1,11 @@
 {
   lib,
   stdenv,
-  fetchurl,
+  fetchFromGitHub,
   m4,
   which,
   yasm,
+  texinfo,
   autoreconfHook,
   fetchpatch,
   buildPackages,
@@ -20,12 +21,15 @@ stdenv.mkDerivation (finalAttrs: {
     m4
     which
     yasm
+    texinfo
     autoreconfHook
   ];
 
-  src = fetchurl {
-    url = "https://mpir.org/mpir-${finalAttrs.version}.tar.bz2";
-    sha256 = "1fvmhrqdjs925hzr2i8bszm50h00gwsh17p2kn2pi51zrxck9xjj";
+  src = fetchFromGitHub {
+    owner = "wbhart";
+    repo = "mpir";
+    tag = "mpir-${finalAttrs.version}";
+    hash = "sha256-Q5P3N2w6NX+s5Fu3obTDOg+tEAWnAMDgbRlzFTpolmg=";
   };
 
   patches = [