Vladimír Čunát f8865b1181 mpfr: 3.1.3 -> 3.1.6 (bugfix) ... There's also 4.0.0, but I'd leave that for later.		2018-02-13 23:08:38 +01:00
..
default.nix	mpfr: 3.1.3 -> 3.1.6 (bugfix)	2018-02-13 23:08:38 +01:00
upstream.patch	mpfr: 3.1.2 -> 3.1.3	2015-07-17 15:41:50 -07:00