mpfr: version 4.0.1 added

2018-07-02 13:13:28 +02:00
parent 16c0a5b676
commit 249b5e7315
1 changed files with 1 additions and 0 deletions
@@ -1 +1,2 @@
 mpfr/4.0.0      stable          b:gmp/6.1.2
 mpfr/4.0.1      stable          b:gmp/6.1.2