[sage-devel] Re: GMP tarball not mirrored

2015-01-13 Thread Jean-Pierre Flori
Thanks! I also added Volker just in case. On Tuesday, January 13, 2015 at 4:15:09 PM UTC+1, Dima Pasechnik wrote: On 2015-01-13, Jean-Pierre Flori jpf...@gmail.com javascript: wrote: GMP was added as an optional package in http://trac.sagemath.org/ticket/12661. Who should I CC?

[sage-devel] Re: GMP tarball not mirrored

2015-01-13 Thread Volker Braun
Done! On Tue, Jan 13, 2015 at 4:20 PM, Jean-Pierre Flori jpfl...@gmail.com wrote: Thanks! I also added Volker just in case. On Tuesday, January 13, 2015 at 4:15:09 PM UTC+1, Dima Pasechnik wrote: On 2015-01-13, Jean-Pierre Flori jpf...@gmail.com wrote: GMP was added as an optional package

[sage-devel] Re: GMP tarball not mirrored

2015-01-13 Thread Dima Pasechnik
On 2015-01-13, Jean-Pierre Flori jpfl...@gmail.com wrote: GMP was added as an optional package in http://trac.sagemath.org/ticket/12661. Who should I CC? Harald, I believe. -- You received this message because you are subscribed to the Google Groups sage-devel group. To unsubscribe from

[sage-devel] Re: GMP tarball not mirrored

2015-01-13 Thread Jean-Pierre Flori
Thanks! On Tuesday, January 13, 2015 at 4:30:48 PM UTC+1, Volker Braun wrote: Done! On Tue, Jan 13, 2015 at 4:20 PM, Jean-Pierre Flori jpf...@gmail.com javascript: wrote: Thanks! I also added Volker just in case. On Tuesday, January 13, 2015 at 4:15:09 PM UTC+1, Dima Pasechnik