Robin Gloster 0f86750d1d mpir: add patch to account for sed update		2017-01-20 00:15:53 +01:00
..
default.nix	mpir: add patch to account for sed update	2017-01-20 00:15:53 +01:00