1. 2010-06-29 GMP-5.0.1 with Mingw32: incorrect .def filename gmp-bugs Laurent Rineau 2. 2010-06-15 GMP-5.0.1 with Mingw32: incorrect .def filename gmp-bugs Laurent Rineau 3. 2010-06-14 GMP-5.0.1 with Mingw32: incorrect .def filename gmp-bugs Laurent Rineau