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? > 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. 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 sage-release@googlegroups.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/CAAg%3Dp_29hfrowOkgNTxyxdVT%3DKa8qGAJVerZZdzbf371-E3_mA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
