4 commits

Author	SHA1	Message	Date
Michael Raskin	3589e08ac5	mpir: 2.7.2 -> 3.0.0	2017-03-09 18:47:37 +01:00
Robin Gloster	0f86750d1d	mpir: add patch to account for sed update	2017-01-20 00:15:53 +01:00
Eelco Dolstra	6042d6e39d	Remove file named '\' ... This looks like it was accidental. Fixes #20253.	2016-11-09 12:52:56 +01:00
Michael Raskin	36d3038e3d	mpir: init at 2.7.2	2016-10-26 11:06:31 +02:00