Jerome Duval afd8272b70 mpfr: 3.1.6-p1.		2017-11-20 21:03:49 +01:00
..
mpfr-3.1.6.patchset	mpfr: 3.1.6-p1.	2017-11-20 21:03:49 +01:00