From 00c8729ff12328ce9fef63884e7d43698d262c76 Mon Sep 17 00:00:00 2001
From: Ernesto Casablanca <casablancaernesto@gmail.com>
Date: Tue, 15 Oct 2024 19:22:36 +0100
Subject: [PATCH] deps: use archive instead of gitlab for mpfr

---
 MODULE.bazel | 19 +++++++++----------
 1 file changed, 9 insertions(+), 10 deletions(-)

diff --git a/MODULE.bazel b/MODULE.bazel
index 16d8350..b53724e 100644
--- a/MODULE.bazel
+++ b/MODULE.bazel
@@ -151,16 +151,6 @@ github_archive(
 
 gitlab_archive = use_repo_rule("//tools:git_archive.bzl", "gitlab_archive")
 
-# MIT | c++ library for arbitrary precision arithmetic
-gitlab_archive(
-    name = "mpfr",
-    build_file = "//third_party:mpfr.BUILD.bazel",
-    commit = "4.2.1",
-    domain = "inria.fr",
-    repository = "mpfr/mpfr",
-    sha256 = "e34aab8b2cdcc3f37ef8bd1b33fcd9867b472412698c6a0ec60dbb4970f88a3d",
-)
-
 ## HTTP repositories
 
 http_archive = use_repo_rule("@bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
@@ -174,6 +164,15 @@ http_archive(
     url = "https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz",
 )
 
+# MIT | c++ library for arbitrary precision arithmetic
+http_archive(
+    name = "mpfr",
+    build_file = "//third_party:mpfr.BUILD.bazel",
+    sha256 = "277807353a6726978996945af13e52829e3abd7a9a5b7fb2793894e18f1fcbb2",
+    strip_prefix = "mpfr-4.2.1",
+    url = "https://www.mpfr.org/mpfr-current/mpfr-4.2.1.tar.xz",
+)
+
 http_archive(
     name = "com_github_storypku_bazel_iwyu",
     sha256 = "aa78c331a2cb139f73f7d74eeb4d5ab29794af82023ef5d6d5194f76b7d37449",