From 2a988c660a87645597266cf108645b92a033c43b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=BCrgen=20Buchm=C3=BCller?= Date: Mon, 22 Jan 2018 14:37:04 +0100 Subject: [PATCH] common/shlibs: keep previous libmpfr until updated --- common/shlibs | 1 + 1 file changed, 1 insertion(+) diff --git a/common/shlibs b/common/shlibs index 2610c5ffa59..a3e6aed7a7a 100644 --- a/common/shlibs +++ b/common/shlibs @@ -65,6 +65,7 @@ libmpxwrappers.so.2 libmpx-6.2.1_1 libperl.so.5.26 perl-5.26.0_1 libgmp.so.10 gmp-5.0.1_1 libgmpxx.so.4 gmpxx-6.0.0_2 +libmpfr.so.4 mpfr-3.0.0_1 libmpfr.so.6 mpfr-4.0.0_1 libppl.so.14 ppl-1.2_1 libppl_c.so.4 ppl-0.11_1