Hi If everything debian-builds OK, there will be a package here in a few hours in the dev PPA: https://launchpad.net/~aims/+archive/ubuntu/sagemath-dev/+packages <https://launchpad.net/%7Eaims/+archive/ubuntu/sagemath-dev/+packages>
Watch the build https://launchpad.net/~aims/+archive/ubuntu/sagemath-dev/+build/10947743 which take s about an hour. If successful, publishing that in the PPA could take anything from 5 minute to 5 hours, depending on how busy launchpad is. Please send me feedback before I copy to the stable PPA. I can't test that this even opens the notebook now. Regards, Jan On 23 September 2016 at 16:32, Eric Gourgoulhon <egourgoul...@gmail.com> wrote: > Hi Jan, > > Thanks for your prompt and detailed answer, and for your efforts in > offering this PPA to the community. > > Best regards, > > Eric. > > Le vendredi 23 septembre 2016 15:49:07 UTC+2, Jan Groenewald a écrit : >> >> Hi >> >> On 23 September 2016 at 15:46, Jan Groenewald <j...@aims.ac.za> wrote: >> >>> were told to redistribute modified copies we must 1) remove all Ubuntu >>> branding and rebuild *all* >>> >> >> >> .. binaries, or 2) sign a license to redistribute to African universities >> only (how gracious) and they would then not be able to redistribute freely. >> >> (Sorry, accidentally cut some text). >> >> Regards, >> Jan >> >> -- >> .~. >> /V\ Jan Groenewald >> /( )\ www.aims.ac.za >> ^^-^^ >> > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. > -- .~. /V\ Jan Groenewald /( )\ www.aims.ac.za ^^-^^ -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.