diff --git a/Libraries/mpfr/4/variants b/Libraries/mpfr/4/variants new file mode 100644 index 0000000..cec1cb1 --- /dev/null +++ b/Libraries/mpfr/4/variants @@ -0,0 +1 @@ +mpfr/4.0.0 stable b:gmp/6.1.2