From 249b5e7315efe3b823377f9b349de3e5a2f2e0cb Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Mon, 2 Jul 2018 13:13:28 +0200
Subject: [PATCH] mpfr: version 4.0.1 added

---
 Libraries/mpfr/4/variants | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Libraries/mpfr/4/variants b/Libraries/mpfr/4/variants
index cec1cb1..3d8e833 100644
--- a/Libraries/mpfr/4/variants
+++ b/Libraries/mpfr/4/variants
@@ -1 +1,2 @@
 mpfr/4.0.0      stable          b:gmp/6.1.2
+mpfr/4.0.1      stable          b:gmp/6.1.2