From 84d0ccd6bcefd5db00a07e1d533ce0d15663656f Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Thu, 24 Aug 2023 13:42:31 +0000 Subject: [PATCH] core180: Ship MPFR Signed-off-by: Michael Tremer --- config/rootfiles/core/180/filelists/mpfr | 1 + 1 file changed, 1 insertion(+) create mode 120000 config/rootfiles/core/180/filelists/mpfr diff --git a/config/rootfiles/core/180/filelists/mpfr b/config/rootfiles/core/180/filelists/mpfr new file mode 120000 index 0000000000..c8468bf42f --- /dev/null +++ b/config/rootfiles/core/180/filelists/mpfr @@ -0,0 +1 @@ +../../../common/mpfr \ No newline at end of file -- 2.39.5