Matthew Bauer d434365614 mpfr: remove unused patch		2018-04-03 22:30:33 -05:00
..
default.nix	mpfr: 3.1.3 -> 3.1.6 (bugfix)	2018-02-13 23:08:38 +01:00