From aa63f7c52ef08d260420e0f46bbfd7bbfe4d95c2 Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Thu, 17 Jan 2019 12:29:45 +0100 Subject: [PATCH] Libraries/mpfr: version 4.0.0, 4.0.1 added, use PIC-compiled gmp for 4.0.1-1 --- Libraries/mpfr/files/variants | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Libraries/mpfr/files/variants b/Libraries/mpfr/files/variants index 35b0212..d8299dc 100644 --- a/Libraries/mpfr/files/variants +++ b/Libraries/mpfr/files/variants @@ -3,3 +3,6 @@ mpfr/3.1.3 stable b:gmp/6.0.0 mpfr/3.1.4 stable b:gmp/6.1.0 mpfr/3.1.4-1 stable b:gmp/6.1.1 mpfr/3.1.5 stable b:gmp/6.1.2 +mpfr/4.0.0 stable b:gmp/6.1.2 +mpfr/4.0.1 stable b:gmp/6.1.2 +mpfr/4.0.1-1 stable b:gmp/6.1.2-1