Hi, When I try to install libgmp 6.0.0a there is a problem with the library in the subject line. During make process this library is looked for and cannot be found. I don't understand why this library is necessary. Shouldn't it be included already in the package for installation? Have you experienced that?