add mpfr

2022-11-25 14:52:50 +01:00 · 2022-11-25 14:52:50 +01:00 · 3b58152497
commit 3b58152497
parent c5c63c8ca8
2 changed files with 5 additions and 0 deletions
--- a/.gitmodules
+++ b/.gitmodules
@ -313,3 +313,7 @@ url = ../rpm/mpc.git
 [submodule "mpdecimal"]
 path = mpdecimal
 url = ../rpm/mpdecimal.git
+
+[submodule "mpfr"]
+path = mpfr
+url = ../rpm/mpfr.git
--- a/1
+++ b/1
@ -0,0 +1 @@
+Subproject commit c6fde7b4ff8d0cda8d275a9f3cef50fe600ce5d6
				`@ -0,0 +1 @@`
				`Subproject commit c6fde7b4ff8d0cda8d275a9f3cef50fe600ce5d6`