From 8f14cccf0e2790ccd4340bd0d14fee5178a2013d Mon Sep 17 00:00:00 2001
From: Achim Gsell <achim.gsell@psi.ch>
Date: Tue, 17 Apr 2018 17:26:25 +0200
Subject: [PATCH] mpfr/4: variant for mpfr/4.0.1 with gmp/6.1.2 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