From 5c702e8b91b1dea499ec9828166a6d372051a97e Mon Sep 17 00:00:00 2001 From: Achim Gsell Date: Mon, 11 Mar 2019 11:37:35 +0100 Subject: [PATCH] mpfr: version 4.0.2 added --- Libraries/mpfr/files/variants | 1 + 1 file changed, 1 insertion(+) diff --git a/Libraries/mpfr/files/variants b/Libraries/mpfr/files/variants index d8299dc..2bc2629 100644 --- a/Libraries/mpfr/files/variants +++ b/Libraries/mpfr/files/variants @@ -6,3 +6,4 @@ 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 +mpfr/4.0.2 stable b:gmp/6.1.2-1