On 2013-08-28 06:58, Thomas Kahle wrote:
Hi,the new sage-ppl is not in the unmask.file, and it also fails to build for me. Any ideas?
Yes. I didn't apply the patch to support gmp-5.1.0. I thought it would be supported. Christopher keyworded sage-ppl a few hours ago. I will correct the gmp bug quickly. Francois
