[sage-support] Re: For info ?

2017-09-02 Thread HG
Thanks... As I am on arfull I added SID but I am not sure that a good thing ? Le samedi 2 septembre 2017 17:17:49 UTC+2, HG a écrit : > > I would like to know when sage -8.0 will be in ppa AIMS ? > best > -- You received this message because you are subscribed to the Google Groups "sage-suppor

Re: [sage-support] For info ?

2017-09-02 Thread Jan Groenewald
Hi Since sage is now in debian, the PPA is unlikely to be updated often, if at all. On a new ubuntu, sage is inherited from Debian. If someone is interested in maintaining that feel free to contact me off-list. Regards, Jan On 2 September 2017 at 17:17, HG wrote: > I would like to know when sa

[sage-support] For info ?

2017-09-02 Thread HG
I would like to know when sage -8.0 will be in ppa AIMS ? best -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post