Hi Thanks, Eric. The PPA for 16.04 is indeed the 14.04 binary in the PPA copied forward. Let me look at what (time) it takes to upload the proper 16.04 binary.
In principle, I can continue to maintain and increase automation of this, but time might become an issue. We have a customized Ubuntu called aims-desktop that we redistribute, and first created the PPA for that. I know it is used much more widely. For redistribution we contacted Canonical's legal department after their IP policy was in the news, and were told to redistribute modified copies we must 1) remove all Ubuntu branding and rebuild *all* So in future our incentive to spend time on this might reduce. Of course it is still not recommended to run sage -b as root and even less so in the PPA. The PPA was always viewed as a temporary solution while people are working on properly debianizing sage, a hard and multi-year project, which will no doubt leave Debian/Ubuntu with a outdated sage. Still we want to support knowledgable people doing this out of necessity while sage-in-debian is not ready. Regards, Jan On 23 September 2016 at 15:14, Eric Gourgoulhon <egourgoul...@gmail.com> wrote: > PS (to aishen): while this problem is fixed, you may consider installing > in your home directory SageMath 7.3 from the file > sage-7.3-Ubuntu_16.04-x86_64.tar.bz2 downloaded from > http://www.sagemath.org/download-linux.html. > Installing SageManifolds in such a version has been tested successfully. > > > -- > 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.
