aboutsummaryrefslogtreecommitdiff
path: root/extra/mpfr/sources
diff options
context:
space:
mode:
Diffstat (limited to 'extra/mpfr/sources')
-rw-r--r--extra/mpfr/sources1
1 files changed, 1 insertions, 0 deletions
diff --git a/extra/mpfr/sources b/extra/mpfr/sources
new file mode 100644
index 00000000..a68892a8
--- /dev/null
+++ b/extra/mpfr/sources
@@ -0,0 +1 @@
+https://www.mpfr.org/mpfr-current/mpfr-4.1.0.tar.xz