tools/mpfr: update to 3.1.3
[openwrt/openwrt.git] / tools / mpfr / patches / 001-only_src.patch
2015-11-03 Felix Fietkautools/mpfr: update to 3.1.3
2015-02-05 Jo-Philipp Wichtools: Fix mpfr build on FreeBSD 10.1
2013-02-28 Luka Perkovmpfr: upgrade to 3.1.1