Re: [gentoo-science] sage-ppl

[François Bissey]

On 2013-08-28 09:15, François Bissey wrote:

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.

Done, it should build now.

Francois