1. 2011-03-04 Problem with make install gmp-discu John Harper 2. 2011-03-03 Problem with make install gmp-discu Pedro Gimeno 3. 2011-03-03 Problem with make install gmp-discu John Harper