portsurvey log for http://gmplib.org

> http://gmplib.org/ ok