gmp 5.0.2的windows下的静态连接库，包含文件等等，zip格式的，未改动任何代码的版本。