On Wed, Jul 03, 2019 at 12:03:11PM +0200, Jan Groenewald wrote: > Hi > > On Wed, 3 Jul 2019 at 11:54, Dima Pasechnik <dimp...@gmail.com> wrote: > > > Well, Debian 10 will be coming with an up to date Sage installable via apt. > > Do we need to duplicate this?
Note that an issue in relying on Sage shipped by Debian, is that many useful optional Sage packages are not available. > Debian 10 Buster has sage 7.4 from their initial freeze about 6 months > ago. It will not be updated again during Buster's lifecycle. One nice possibility, but it relies on Debian Sage maintainers workforce, would be to have Sage in buster-backports. Ciao, Thierry > In in institute where we teach sage, lecturers (some are even sage > developers) > often ask for updated versions. > > (Also two recent sage releases I could not even build from source on debian > 9, did > not have time to debug it, but I could use the binaries. Since that I've > not even tried > to build it again I just add a binary) > > Regards, > Jan > > > > -- > .~. > /V\ Jan Groenewald > /( )\ www.aims.ac.za > ^^-^^ > > -- > You received this message because you are subscribed to the Google Groups > "sage-release" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-release+unsubscr...@googlegroups.com. > To post to this group, send email to firstname.lastname@example.org. > Visit this group at https://groups.google.com/group/sage-release. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-release/CAAg%3Dp_29hfrowOkgNTxyxdVT%3DKa8qGAJVerZZdzbf371-E3_mA%40mail.gmail.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to email@example.com. Visit this group at https://groups.google.com/group/sage-release. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/20190703101556.dlrdlriiugb6qeyh%40metelu.net. For more options, visit https://groups.google.com/d/optout.