diff --git a/templates/gmp-dev b/templates/gmp-dev new file mode 120000 index 00000000000..eeaa9d938de --- /dev/null +++ b/templates/gmp-dev @@ -0,0 +1 @@ +gmp \ No newline at end of file diff --git a/templates/gmp-libs b/templates/gmp-libs new file mode 120000 index 00000000000..eeaa9d938de --- /dev/null +++ b/templates/gmp-libs @@ -0,0 +1 @@ +gmp \ No newline at end of file diff --git a/templates/mpfr-dev b/templates/mpfr-dev new file mode 120000 index 00000000000..88fad384173 --- /dev/null +++ b/templates/mpfr-dev @@ -0,0 +1 @@ +mpfr \ No newline at end of file diff --git a/templates/mpfr-libs b/templates/mpfr-libs new file mode 120000 index 00000000000..88fad384173 --- /dev/null +++ b/templates/mpfr-libs @@ -0,0 +1 @@ +mpfr \ No newline at end of file